1623 search results - page 300 / 325 » No Sorting |
CIA
2006
Springer
15 years 4 months ago
2006
Springer
Imagine a future environment where networks of agents - people, robots and software agents - interact with sophisticated sensor grids and environmental actuators to provide advice,...
105
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a short overview of blended learning, showing arguments for and against these concepts. Potential blended learning scenarios are described that vary depending o...
127
click to vote
KDD
2000
ACM
15 years 4 months ago
2000
ACM
Data--call records, internet packet headers, or other transaction records--are coming down a pipe at a ferocious rate, and we need to monitor statistics of the data. There is no r...
140
click to vote
FPCA
1995
15 years 4 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
BIRTHDAY
1991
Springer
15 years 4 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...