Sciweavers

8008 search results - page 1460 / 1602
» Learning in Multi-Agent Systems
Sort
View
APCHI
1998
IEEE
15 years 9 months ago
Beyond "Couch Potatoes": From Consumers to Designers
The fundamental challenge for computational media is to contribute to the invention and design of cultures in which humans can express themselves and engage in personally meaningf...
Gerhard Fischer
EUROMICRO
1998
IEEE
15 years 9 months ago
The World Wide Wait: Where Does the Time Go?
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...
Colin Allison, Martin Bramley, Jose Serrano
136
Voted
ISMIS
1999
Springer
15 years 9 months ago
A Statistical Approach to Rule Selection in Semantic Query Optimisation
Semantic Query Optimisation makes use of the semantic knowledge of a database (rules) to perform query transformation. Rules are normally learned from former queries fired by the u...
Barry G. T. Lowden, Jerome Robinson
155
Voted
CAV
1998
Springer
103views Hardware» more  CAV 1998»
15 years 9 months ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
ITS
1998
Springer
133views Multimedia» more  ITS 1998»
15 years 9 months ago
The Foundations and Architecture of Autotutor
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
Peter M. Wiemer-Hastings, Arthur C. Graesser, Dere...
« Prev « First page 1460 / 1602 Last » Next »