1715 search results - page 105 / 343 » How Space Structures Language |
153
Voted
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...
154
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...
122
click to vote
INLG
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
140
Voted
JAIR
2008
15 years 3 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
130
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...