5326 search results - page 747 / 1066 » On what we can ensure |
149
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
160
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
138
click to vote
ICMI
2007
Springer
16 years 26 days ago
2007
Springer
Speech has great potential as an input mechanism for ubiquitous computing. However, the current requirements necessary for accurate speech recognition, such as a quiet environment...
184
click to vote
ICRA
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— The mapping and localization problems have received considerable attention in robotics recently. The exploration problem that drives mapping has started to generate sim...
126
click to vote
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— Networks-on-chip (NoCs) are a scalable interconnect solution to large scale multiprocessor systems on chip and are rapidly becoming reality. As the ratio of embedded co...