Sciweavers

2863 search results - page 223 / 573
» Computer modelling and natural phenomena
Sort
View
CAISE
2006
Springer
15 years 8 months ago
A Task-Driven Design Model for Collaborative AmI Systems
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
GG
2004
Springer
15 years 12 months ago
Model Checking Graph Transformations: A Comparison of Two Approaches
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
Arend Rensink, Ákos Schmidt, Dániel ...
JAL
2008
74views more  JAL 2008»
15 years 6 months ago
Solving satisfiability in the tile assembly model with a constant-size tileset
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
Yuriy Brun
ICCV
2005
IEEE
16 years 8 months ago
Geometric Context from a Single Image
Many computer vision algorithms limit their performance by ignoring the underlying 3D geometric structure in the image. We show that we can estimate the coarse geometric propertie...
Derek Hoiem, Alexei A. Efros, Martial Hebert
ISCAS
2007
IEEE
136views Hardware» more  ISCAS 2007»
16 years 26 days ago
Flexible Low Power Probability Density Estimation Unit For Speech Recognition
— This paper describes the hardware architecture for a flexible probability density estimation unit to be used in a Large Vocabulary Speech Recognition System, and targeted for m...
Ullas Pazhayaveetil, Dhruba Chandra, Paul Franzon