342 search results - page 55 / 69 » The Foundations and Architecture of Autotutor |
207
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Basic message processing tasks, such as wellformedness checking and grammar validation, can be off-loaded from the service providers' own infrastructures. To enable effective...
135
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
116
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...
182
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
Commercial enterprise data warehouses are typically implemented on parallel databases due to the inherent scalability and performance limitation of a serial architecture. Queries ...
205
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
The Swiss National Competence Center for Research in mobile Information and Communication Systems (NCCR-MICS or MICS) is one of several research initiatives sponsored by the Swiss...