2563 search results - page 380 / 513 » Phenomenology, Representations and Complexity |
212
click to vote
ER
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oļ...
204
click to vote
IFIP
2004
Springer
16 years 15 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
174
click to vote
PPSWR
2004
Springer
16 years 15 days ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
182
click to vote
ROBOCUP
2004
Springer
16 years 15 days ago
2004
Springer
UCHILSIM is a robotic simulator specially developed for the RoboCup four-legged league. It reproduces with high accuracy the dynamics of AIBO motions and its interactions with the ...
187
click to vote
ECCV
2010
Springer
16 years 15 days ago
2010
Springer
Abstract. Most current approaches to recognition aim to be scaleinvariant. However, the cues available for recognizing a 300 pixel tall object are qualitatively diļ¬erent from tho...