3831 search results - page 394 / 767 » Dynamic Context Logic |
179
click to vote
DCW
2000
Springer
15 years 11 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
208
click to vote
ISWC
1998
IEEE
15 years 11 months ago
1998
IEEE
Most existing augmented reality systems only provide a method for browsing information that is situated in the real world context. This paper describes a system that allows users ...
179
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
150
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...
157
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
When we construct an agent by integrating modules, there appear troubles concerning the autonomy of the agent if we introduce a heuristics that dominates the whole agent. Thus, we ...