2629 search results - page 195 / 526 » Build a Computer from Scratch |
172
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
174
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
We present spatio-temporal feature descriptors that can be inferred from video and used as building blocks in action recognition systems. They capture the evolution of ``elementar...
169
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
137
Voted
AUSAI
2001
Springer
15 years 11 months ago
2001
Springer
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...
130
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
World Wide Web (WWW) authors must cope in a hypermedia environment analogous to secondgeneration computing languages, building and managing all hypermedia links using simple ancho...