Sciweavers

7690 search results - page 1360 / 1538
» On the semantics of informational independence
Sort
View
CGF
2010
155views more  CGF 2010»
15 years 6 months ago
Video Visualization for Snooker Skill Training
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
M. Höferlin, Edward Grundy, Rita Borgo, Danie...
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 6 months ago
Similarity-based Reasoning in Qualified Logic Programming
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
Rafael Caballero, Mario Rodríguez-Artalejo,...
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 6 months ago
The meaning of concurrent programs
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
Victor Yodaiken
DKE
2010
167views more  DKE 2010»
15 years 6 months ago
The consistency extractor system: Answer set programs for consistent query answering in databases
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
Mónica Caniupán Marileo, Leopoldo E....
AIS
2006
Springer
15 years 6 months ago
Meetings and meeting modeling in smart environments
In this paper we survey our research on smart meeting rooms and its relevance for augmented reality meeting support and virtual reality generation of meetings in real time or off-l...
Anton Nijholt, Rieks op den Akker, Dirk Heylen
« Prev « First page 1360 / 1538 Last » Next »