6201 search results - page 1136 / 1241 » Implementation of Axiomatic Language |
147
click to vote
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
140
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
156
click to vote
PPPJ
2003
ACM
15 years 10 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
177
click to vote
CONTEXT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The knowledge representation tradition in computational lexicon design represents words as static encapsulations of purely lexical knowledge. We suggest that this view po...
147
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...