551 search results - page 35 / 111 » Realizability of Real-Time Logics |
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
The underlying structure of why and how consumers value reliability of electric service is explored, together with the technological options and cost characteristics for the provi...
IADIS
2003
13 years 11 months ago
2003
We have developed a distributed search engine, Cooperative Search Engine (CSE) to retrieve fresh information. In CSE, a local search engine located in each web server makes an ind...
KI
2010
Springer
13 years 8 months ago
2010
Springer
Most approaches to the visual perception of humans do not include high-level activity recognitition. This paper presents a system that fuses and interprets the outputs of several c...
CIE
2008
Springer
13 years 11 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
ACE
2004
13 years 11 months ago
2004
1 Adaptive teaching does not usually rhyme with large number of students in class. Given the small amount of face to face and the disproportionate ratio, teachers have to use their...