Sciweavers

3318 search results - page 495 / 664
» The Weak Instance Model
Sort
View
ICMI
2009
Springer
147views Biometrics» more  ICMI 2009»
15 years 7 months ago
Multimodal end-of-turn prediction in multi-party meetings
One of many skills required to engage properly in a conversation is to know the appropiate use of the rules of engagement. In order to engage properly in a conversation, a virtual...
Iwan de Kok, Dirk Heylen
CLUSTER
2008
IEEE
15 years 7 months ago
Empirical-based probabilistic upper bounds for urgent computing applications
—Scientific simulation and modeling often aid in making critical decisions in such diverse fields as city planning, severe weather prediction and influenza modeling. In some o...
Nick Trebon, Peter H. Beckman
87
Voted
DATE
2008
IEEE
131views Hardware» more  DATE 2008»
15 years 7 months ago
Parametric Throughput Analysis of Synchronous Data Flow Graphs
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...
Amir Hossein Ghamarian, Marc Geilen, Twan Basten, ...
114
Voted
ICRA
2008
IEEE
134views Robotics» more  ICRA 2008»
15 years 7 months ago
Towards robust place recognition for robot localization
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
Muhammad Muneeb Ullah, Andrzej Pronobis, Barbara C...
103
Voted
EUROMICRO
2007
IEEE
15 years 7 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil