Sciweavers

647 search results - page 12 / 130
» Implementation of MAP: A system for mobile assistant program...
Sort
View
POPL
2006
ACM
15 years 12 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
FOIKS
2004
Springer
15 years 5 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos
100
Voted
WMTE
2006
IEEE
15 years 5 months ago
Implementation of Intelligent Agents with Mobility in Educational Robotics Settings
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
Ilkka Jormanainen, Chiara Moroni, Yuejun Zhang, Ki...
HICSS
2008
IEEE
236views Biometrics» more  HICSS 2008»
15 years 6 months ago
A Case Study: Introducing eXtreme Programming in a US Government System Development Project
The US Military’s ability to meet its mission critical requirements calls for increased agility in its information technology development process. The purpose of this case study...
Ann L. Fruhling, Patrick McDonald, Christopher Dun...
96
Voted
AUIC
2006
IEEE
15 years 5 months ago
Implementing a natural user interface for camera phones using visual tags
Pointing is a natural way of communicating. Children in all cultures use pointing inherently. Attaching tags to our environment enables interaction by pointing. Visual tags are a g...
Sanni Siltanen, Jouko Hyväkkä