2646 search results - page 471 / 530 » Local Type Inference |
89
Voted
JNW
2008
15 years 17 days ago
2008
Research on data routing strategies for wireless sensor networks (WSNs) has largely focused on energy efficiency. However rapid advances in WSNs require routing protocols which can...
86
Voted
CVGIP
2007
15 years 17 days ago
2007
We address the difficult open problem of emulating the rich complexity of real pedestrians in urban environments. Our artificial life approach integrates motor, perceptual, beha...
115
Voted
JSW
2008
15 years 16 days ago
2008
Information retrieval is the important work for Electronic Commerce. Ontology-based semantic retrieval is a hotspot of current research. In order to achieve fuzzy semantic retrieva...
112
Voted
EAAI
2007
15 years 16 days ago
2007
An integrated modeling and robust model predictive control (MPC) approach is proposed for a class of nonlinear systems with unknown steady state. First, the nonlinear system is id...
100
click to vote
ENTCS
2007
15 years 16 days ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...