Sciweavers

949 search results - page 27 / 190
» Programmed Mutagenesis Is Universal
Sort
View
SIGUCCS
2003
ACM
15 years 7 months ago
Training program growth...: from flat line to pulsating
IT Training and Communications is a division of Information Technology Services (ITS), which provides computer application training for the faculty and staff at Saint Louis Univer...
Sue A. Moore
130
Voted
PERVASIVE
2010
Springer
15 years 9 days ago
LOC8: A Location Model and Extensible Framework for Programming with Location
ing model abstracts over various types of positioning systems and incorporates the capture of uncertainty, serving as a foundation on which developers can apply sensor-fusion techn...
Graeme Stevenson, Juan Ye, Simon Dobson, Paddy Nix...
LICS
2005
IEEE
15 years 7 months ago
Proof Theory for Kleene Algebra
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
Chris Hardin
103
Voted
FECS
2007
99views Education» more  FECS 2007»
15 years 3 months ago
Game Design as a Writing Course in the Liberal Arts
- The School of Computer Science, Telecommunications, and Information Systems (CTI) is a technologically-focused college within DePaul University. While DePaul CTI has a large numb...
Amber Settle, Robin Burke, Lucia Dettori
90
Voted
EJC
2003
15 years 3 months ago
A Dialogue Manager for Accessing Databases
We present a logic programming based dialogue system that enables the access in natural language to the heterogeneous external relational databases of the Évora University. The p...
Salvador Abreu, Paulo Quaresma, Luis Quintano, Ire...