9687 search results - page 100 / 1938 » On Natural Mobility Models |
114
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Any given task can be solved in a number of ways, whether through path-planning, modeling, or control techniques. In this paper, we present a methodology for natural task decom...
153
Voted
ICAT
2006
IEEE
15 years 10 months ago
2006
IEEE
A real-time camera registration algorithm using nature features for augmented reality applications is presented. The system uses a single camera for visual tracking of the nature ...
117
Voted
EUROGP
2004
Springer
15 years 9 months ago
2004
Springer
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
129
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...