2236 search results - page 406 / 448 » Language Independence and Language Tolerance in Logic Progra... |
140
Voted
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...
211
Voted
ICTL
1994
15 years 7 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
137
Voted
REX
1991
15 years 7 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
134
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
145
Voted
AAAI
1996
15 years 5 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...