5096 search results - page 773 / 1020 » Associations as a Language Construct |
152
click to vote
FTDCS
2003
IEEE
15 years 12 months ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
196
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
169
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
200
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
166
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...