2293 search results - page 187 / 459 » Temporal Logic in Information Systems |
140
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Mischief is a system for classroom interaction that allows multiple children to use individual mice and cursors to interact with a single large display [20]. While the system can ...
229
click to vote
DKE
2008
15 years 6 months ago
2008
Logic is currently the target of the majority of the upcoming efforts towards the realization of the Semantic Web vision, namely making the content of the Web accessible not only t...
164
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
We describe a simple technique for accurately calibrating the temporal lag in augmented and virtual environments within the Enhanced Virtual Hand Lab (EVHL), a collection of hardw...
182
click to vote
SAINT
2005
IEEE
16 years 10 days ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
156
click to vote
VLDB
2007
ACM
16 years 26 days ago
2007
ACM
We present BlogScope (www.blogscope.net), a system for online analysis of temporally ordered streaming text, currently applied to the analysis of the Blogosphere1 . The system cur...