9110 search results - page 421 / 1822 » Formally-Based Design Evaluation |
203
click to vote
JMLR
2010
15 years 1 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
161
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
147
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The main aim of this research is to understand how domestic technologies for collocated groups can be designed to afford enjoyable social interactions. A secondary aim is to devis...
179
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Interconnection networks in Systems-On-Chip begin to have a non-negligible impact on the power consumption of a whole system. This is because of increasing inter-wire capacitances...
156
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We discuss the design of an acquisitional query processor for data collection in sensor networks. Acquisitional issues are those that pertain to where, when, and how often data is...