Sciweavers

1664 search results - page 162 / 333
» Towards Partial Reasoning
Sort
View
FM
1999
Springer
104views Formal Methods» more  FM 1999»
15 years 9 months ago
On Excusable and Inexcusable Failures
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
Markus Müller-Olm, Andreas Wolf
EDUTAINMENT
2008
Springer
15 years 6 months ago
Learning Models for the Integration of Adaptive Educational Games in Virtual Learning Environments
There is a trend in Virtual Learning Environments (VLE) towards flexible and adapted learning experiences that modify their contents and behavior to suit the needs of different lea...
Javier Torrente, Pablo Moreno-Ger, Baltasar Fern&a...
AAAI
2010
15 years 6 months ago
Progress on Agent Coordination with Cooperative Auctions
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
Sven Koenig, Pinar Keskinocak, Craig A. Tovey
119
Voted
ACL
2006
15 years 6 months ago
Annealing Structural Bias in Multilingual Weighted Grammar Induction
We first show how a structural locality bias can improve the accuracy of state-of-the-art dependency grammar induction models trained by EM from unannotated examples (Klein and Ma...
Noah A. Smith, Jason Eisner
EUROPLOP
2006
15 years 6 months ago
Patterns for Adaptive Service-Centric Systems
Service-centric systems are driven more and more towards self-adaptation in order to satisfy QoS in highly dynamic environments. However, the young age and immaturity of this doma...
Paris Avgeriou