1643 search results - page 14 / 329 » Consistability: Describing Usually Consistent Systems |
IJCAI
2003
13 years 8 months ago
2003
We have created LADDER, the first language to describe how sketched diagrams in a domain are drawn, displayed, and edited. The difficulty in creating such a language is choosing...
ISWC
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper describes a wearable augmented reality (AR) system using invisible visual markers. Some AR systems use visual markers in order to measure the position and orientation o...
AIEDU
2006
13 years 7 months ago
2006
Tutoring systems are described as having two loops. The outer loop executes once for each task, where a task usually consists of solving a complex, multi-step problem. The inner lo...
SPAA
1998
ACM
13 years 11 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
QSIC
2005
IEEE
14 years 28 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...