Sciweavers

2564 search results - page 143 / 513
» Witness sets of projections
Sort
View
CADE
2006
Springer
14 years 10 months ago
Using the TPTP Language for Writing Derivations and Finite Interpretations
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Al...
OOPSLA
2004
Springer
14 years 3 months ago
Marine biology simulation
The Marine Biology Simulation is designed as a final project in an objects-first CS2 course. It provides an entertaining setting that serves as compelling example of the powers of...
Eric Cheng, Dung Zung Nguyen, Mathias Ricken, Step...
NIME
2001
Springer
148views Music» more  NIME 2001»
14 years 2 months ago
Principles for Designing Computer Music Controllers
This paper will present observations on the design, artistic, and human factors of creating digital music controllers. Specific projects will be presented, and a set of design pri...
Perry R. Cook
DEXAW
1999
IEEE
123views Database» more  DEXAW 1999»
14 years 2 months ago
CHOROCHRONOS: Research on Spatiotemporal Database Systems
Spatiotemporal database management systems can become an enabling technology for important applications such as Geographic Information Systems (GIS), environmental information sys...
Timos K. Sellis
ACL
2008
13 years 11 months ago
Demonstration of the UAM CorpusTool for Text and Image Annotation
This paper introduced the main features of the UAM CorpusTool, software for human and semi-automatic annotation of text and images. The demonstration will show how to set up an an...
Mick O'Donnell