504 results found in 0.048 second.
254 Pages
2011 · 1.13 MB
5 Downloads

Introduction to Distributed Algorithms - INESC-ID

A distributed algorithm is viewed as a collection of distributed automata, one per process. The automaton at a process regulates the way the process Distributed algorithm
341 Pages
2013 · 4.38 MB
2 Downloads

PhD Thesis: Development of CMS-based Web - ISG - INESC-ID

Thesis approved in public session to obtain the PhD Degree in as the most important artifacts in the software development process, while artifacts such. João Paulo Pedro Mendes de Sousa Saraiva PhD Thesis: Development of CMS-based Web Applications with a Multi-Language Model-Driven Approach software development thesis
204 Pages
2013 · 5.69 MB
0 Downloads

MIT Proposal - ISG - INESC-ID

Mobi-System: Towards an Information System to Support Sustainable Mobility with approaches developed in the Computer Science Area, recommender. joao MIT Proposal recommender system mobi
232 Pages
2012 · 9.82 MB
0 Downloads

Overlay!Networks! - Distributed Systems Group - Inesc-ID

To answer this question, four different approaches to manage the topology of Thicket, a protocol that efficiently embeds multiple interior-node-disjoint trees over .. 5.5.2 ThicketPerformance simulation and a prototype deployment over PlanetLab. spanning tree structures over a single unstructured overlay network. João Leitão tese lab 5.5.2 challenge spanning tree protocol answers
184 Pages
2013 · 5.89 MB
0 Downloads

UNIVERSIDADE DE LISBOA INSTITUTO SUPERIOR - INESC-ID

Doctor Isabel Maria Martins Trancoso, Professora Catedrática do Instituto. Superior Agregaç˜ao) do Instituto Superior Técnico, da Universidade de Lisboa. maria martins universidad lisboa
176 Pages
2008 · 2.03 MB
0 Downloads

Audio Pre-processing and Speech Recognition for - INESC-ID

UNIVERSIDADE T´ECNICA DE LISBOA. INSTITUTO SUPERIOR T´ECNICO. Audio Pre-processing and Speech Recognition for Broadcast News. Hugo Daniel   speech processing
171 Pages
2011 · 3.52 MB
0 Downloads

Recovering Capitalization and Punctuation Marks on - INESC-ID

Recovering Capitalization and Punctuation Marks on Speech Transcriptions. Fernando Manuel Marques Batista. (Mestre). Dissertação para obtenção do Grau   Fernando Batista Recovering Capitalization and Punctuation Marks on Speech Transcriptions about punctuation marks
162 Pages
2012 · 749 KB
0 Downloads

Propositional Satisfiability: Techniques, Algorithms and - INESC-ID

1.3.1 Combinational Equivalence Checking . 8 .. If we take logic to be the activity of drawing inferences (conclusions) from a body of knowledge, then .. an overview and the main contributions of the dissertation. After the  activity 1.3.1 combinational logic an overview
154 Pages
2012 · 3.27 MB
0 Downloads

UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO - INESC-ID

Doctor Isabel Maria Martins Trancoso, Professora Catedrática do Instituto Superior da Faculdade de Ciências da Universidade de Lisboa. Doctor Jo˜ao Paulo  maria martins universidad lisboa
180 Pages
2001 · 1.02 MB
0 Downloads

Performance Assessment of Subcarrier Multiplexed Optical Systems

(INESC-Norte) and University of Wales for the initial financial support and to Junta Nacional de
177 Pages
2014 · 2.93 MB
0 Downloads

"C++/C Concurrency, Memory Model and Atomics" - INESC-ID

C/C++ Standard Multithreaded C11 & C++11: the Dawn of new Standards (and a preview of upcoming Transactional Memory TS) Michael Wong . michaelw@ca.ibm.com . IBM michaelu October 2007 - Hitachi Presentation c11 standard
143 Pages
2008 · 7.49 MB
0 Downloads

New methodologies towards an automatic optical - INESC Porto

scores Dissertação de Mestrado Universidade do Porto INESC Porto
510 Pages
2013 · 28.7 MB
0 Downloads

Atas do INForum 2013 - Évora, Portugal

6 set. 2013 Page 8 ISCTE—Instituto Universitário de Lisboa & INESC-ID . 189 A mobilidade dos
106 Pages
2007 · 2.92 MB
0 Downloads

Relatorio de estagio - inesc tec

Resumo. O presente relatório tem por objectivo apresentar e descrever de forma do estágio curricular de fim de curso, do Mestrado Integrado em Engenharia  Artur Capela Relatorio de estagio relatorio de engenharia
102 Pages
2012 · 3.64 MB
0 Downloads

Syntactic REAP.PT - Inesc-ID

2.1.3 REAP 2.9 PronominalizationexercisesfromCiberescola. 5.9 Results for the statement “Global system appreciation” for NS In this chapter, the state of the art review is presented, starting with the current state of the REAP. and Quizzes, a multiple-choice exercise in which the student has to classify each word  quiz art appreciation chapters 2.1 2.9
139 Pages
1997 · 1022 KB
0 Downloads

COMMON-ISDN-API - Distributed Systems Group / INESC-ID Lisboa

The CAPI Association makes no representations or warranties with respect to the contents or use of this manual, and explicitly disclaims all express or implied  jnos manual
87 Pages
2011 · 1.14 MB
0 Downloads

Anaphora Resolution - INESC-ID

1.3.2 Lexical noun phrase anaphora . Verb anaphora occurs when a verb anaphor has a verb or verb phrase (VP) as an antecedent. (1.17) Assim que o pai   verb phrase anaphora
104 Pages
2011 · 1.48 MB
0 Downloads

Virtual therapist for aphasia treatment - INESC-ID

These problems may involve both syntax and semantics aspects of a language and they can . sional paraphasic errors. Repetition ability is .. set of functionality to support students' learning such as file storage, forums, calendar, news, mail,. semantic paraphasia forum
84 Pages
2011 · 1.03 MB
0 Downloads

Syntactic REAP.PT - INESC-ID

4.1 Collective names and nominal determinants . During the past two decades, the exercise of spoken language skills has .. 4http://www.theteacherscorner.net/ printable-worksheets/make-your-own/ . (ir) a Lisboa” / “Peter wanted .. if the verb is in the infinitive — randomly pick one of the tenses of the indicative or the. worksheet 4.1 preterite tense of ar verbs
110 Pages
2010 · 1.1 MB
0 Downloads

Automatic Question Generation for REAP.PT Tutoring - INESC-ID

AWL Academic Word List is a list of words which appear with high frequency in English-language . 3.2.2 Synonym and Hypernym/Hyponym Questions . tese.dvi list of synonyms and antonyms for css examination
105 Pages
2000 · 280 KB
1 Downloads

Flowchart Techniques - Distributed Systems Group / INESC-ID Lisboa

Jan 10, 2013 Program flowcharts show the connected by solid lines having arrow marks to indicate the flow of operation, that is, AN ENTRY IN THE FLOW CHART. IS MADE AT . (c) Do not give every detail on the flowchart. A reader  F:\\BPBOLINE\\FLOWCHAR\\FLOWCH1.DOC c flow charts
86 Pages
2010 · 1.03 MB
1 Downloads

WMM: Wireless Mesh Monitoring - INESC-ID

Avalia˘c~ao de Desempenho Keywords Wireless Mesh Networks Network Monitoring Clustering Performance Evaluation Indice 1 Introduction 3 Mesh Access Point, Desempenho Wireless Access
111 Pages
2011 · 3.7 MB
0 Downloads

Work placement Report - Repositório Aberto da Universidade do

iii | P a g e Abstract This report describes the work produced during a placement with INESC Porto
78 Pages
2008 · 609 KB
0 Downloads

Speech Recognition system for mobile devices - INESC-ID

Oct 13, 2008 Page 1 errors that may have occurred, when combined with interleaving, ASR systems: Nuance's VoCom (Nuance Vocon, n.d.), IBM's  interleave pages nuance
91 Pages
2009 · 1.86 MB
0 Downloads

Chunk-Based Backup System - Distributed Systems Group / INESC

de cópias de segurança é tipicamente um processo caro e moroso. Assim, esta .. Some systems have used the date of modification of the files as a heuristic for .. This procedure has the Before transferring the chunks, Vac queries Venti to. João Paiva BackupChunk: Chunk-Based Backup System moroso vacuum pump installation instructions
140 Pages
2010 · 2.81 MB
0 Downloads

Use of Wind Power Forecasting in Operational Decisions

. Ricardo J. Bessa, Hrvoje Keko, Joana Mendes,  INESC Porto wind power forecasting
88 Pages
2010 · 1010 KB
0 Downloads

Automatic generation of multiple-choice tests Geraç˜ao - INESC-ID

Multiple-choice tests are a fast way to evaluate knowledge. However In a word-bank form the testee sees a list of answer choices followed by a set of . 2. spend, expend, drop - pay out; “I spend all my money in two days.” The first sense   multiple choice test money and banking
57 Pages
2012 · 4.61 MB
0 Downloads

Proceedings - gaips - INESC-ID

Apr 9, 2012 4 R. Coenen & J. Broekens, Modeling emotional contagion based on experimental of the system is satisfactory, children will be involved, again in multiple stages . ing to the Belief-Desire-Intention (BDI) paradigm [6]. This. emotional contagion the desire system
84 Pages
2009 · 2.11 MB
0 Downloads

REAP.PT Information Systems and Computer Engineering - INESC-ID

Jul 24, 2009 process of converting the speech signal into written text. BN . 2.2.6 Lexile . Dale, Jeanne Chall, George Klare and Rudolf Flesch started  convert dale chall to lexile
144 Pages
2012 · 8.45 MB
0 Downloads

Topology Management for Unstructured Overlay Networks - Doctoral

:( Offers the potential to improve scalability through load. João LeitãoINESC-ID / IST - Lisbon, Portugal