Sciweavers

1706 search results - page 252 / 342
» A design tool for camera-based interaction
Sort
View
AGENTS
1997
Springer
15 years 8 months ago
Transportable Information Agents
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
Daniela Rus, Robert S. Gray, David Kotz
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 8 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
LREC
2008
111views Education» more  LREC 2008»
15 years 5 months ago
Developing Corpus of Japanese Classroom Lecture Speech Contents
This paper explains our developing Corpus of Japanese classroom Lecture speech Contents (henceforth, denoted as CJLC). Increasing e-Learning contents demand a sophisticated intera...
Masatoshi Tsuchiya, Satoru Kogure, Hiromitsu Nishi...
ACE
2004
207views Education» more  ACE 2004»
15 years 5 months ago
Teaching Java First: Experiments with a Pigs-Early Pedagogy
This paper introduces PigWorld, a tool for teaching Java to novice programmers, via the objects-early style. Three design guidelines forobject-early assignments are discussed: (1)...
Raymond Lister
ISTA
2004
15 years 5 months ago
Enterprise Architecture Modeling using Agent Paradigm
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...