7124 search results - page 958 / 1425 » Programming Languages and Operating Systems |
142
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
The components of a context-aware system can often become disconnected because of the dynamic environments within which they are deployed. Hoarding context information on the clie...
162
click to vote
VL
2008
IEEE
16 years 16 days ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
156
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
GOD (General Ontology Discovery) is an unsupervised system to extract semantic relations among domain specific entities and concepts from texts. Operationally, it acts as a search...
148
click to vote
ENTCS
2006
15 years 6 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
144
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...