2624 search results - page 138 / 525 » The 2LIP model and its implementations |
192
click to vote
ITS
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...
164
click to vote
AAAI
1998
15 years 7 months ago
1998
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
162
click to vote
ECIS
2000
15 years 7 months ago
2000
Abstract-The information era has brought with it the wellknown problem of 'Information Explosion'. There are many and varied search engines on the Internet but it is stil...
160
click to vote
WSC
1997
15 years 7 months ago
1997
The paper describes a simulation substrate that allows thinking agents to interact with a world. The world is simulated by standard discrete event simulation, but the timing of an...
182
click to vote
TSE
2010
15 years 4 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...