Sciweavers

7057 search results - page 1046 / 1412
» Tasks, domains, and languages
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
16 years 2 days ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
KCAP
2003
ACM
16 years 2 days ago
Learning programs from traces using version space algebra
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
Tessa A. Lau, Pedro Domingos, Daniel S. Weld
SAC
2003
ACM
16 years 2 days ago
ARCHITECT-R: A System for Reconfigurable Robots Design
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
R. A. Gonçalves, P. A. Moraes, João ...
COSIT
2003
Springer
122views GIS» more  COSIT 2003»
16 years 1 days ago
Communicating Vague Spatial Concepts in Human-GIS Interactions: A Collaborative Dialogue Approach
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...
Guoray Cai, Hongmei Wang, Alan M. MacEachren
EPIA
2003
Springer
16 years 1 days ago
An Evolvable Rule-Based E-mail Agent
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
José Júlio Alferes, Antonio Brogi, J...
« Prev « First page 1046 / 1412 Last » Next »