Sciweavers

2022 search results - page 369 / 405
» Natural-Language Semantics for Associations
Sort
View
ISD
1999
Springer
213views Database» more  ISD 1999»
15 years 10 months ago
A Probabilistic Approach to Environmental Change Detection with Area-Class Map Data
One of the primary methods of studying change in the natural and man-made environment is that of comparison of multi-date maps and images of the earth's surface. Such comparis...
Christopher B. Jones, J. Mark Ware, David R. Mille...
HICSS
1994
IEEE
126views Biometrics» more  HICSS 1994»
15 years 10 months ago
Automating Compensation in a Multidatabase
Compensation is the process by which a committed transaction in a database is undone by running the semantic inverse of that transaction on the database. Compensation has been pro...
Marian H. Nodine, Stanley B. Zdonik
ICTAI
1993
IEEE
15 years 10 months ago
MERIT Motifs
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
Ulrich Thiel, Martin Kracker, Adelheit Stein
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
META
1992
15 years 10 months ago
Logic Meta-Programming Facilities in 'LOG
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
Iliano Cervesato, Gianfranco Rossi