949 search results - page 27 / 190 » Programmed Mutagenesis Is Universal |
SIGUCCS
2003
ACM
14 years 24 days ago
2003
ACM
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...
PERVASIVE
2010
Springer
13 years 6 months ago
2010
Springer
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...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
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...
FECS
2007
13 years 9 months ago
2007
- 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...
EJC
2003
13 years 9 months ago
2003
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...