9697 search results - page 1601 / 1940 » Intelligent Transportation Systems |
220
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
233
click to vote
ABIALS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...
153
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Making commitments, e.g., through promises and threats, enables a player to exploit the strengths of his own strategic position as well as the weaknesses of that of his opponents....
160
click to vote
BTW
2007
Springer
16 years 29 days ago
2007
Springer
: The management of change logs is crucial in different areas of information systems like data replication, data warehousing, and process management. One barrier that hampers the (...
148
click to vote
UIST
2006
ACM
16 years 22 days ago
2006
ACM
With advances in pen-based computing devices, handwriting has become an increasingly popular input modality. Researchers have put considerable effort into building intelligent rec...