Sciweavers

3022 search results - page 284 / 605
» From plans to planning: the case of nursing plans
Sort
View
CSCLP
2008
Springer
15 years 8 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...
LREC
2010
199views Education» more  LREC 2010»
15 years 8 months ago
Anaphoric Annotation of Wikipedia and Blogs in the Live Memories Corpus
The Live Memories corpus is an Italian corpus annotated for anaphoric relations. This annotation effort aims to contribute to two significant issues for the CL research: the lack ...
Kepa Joseba Rodríguez, Francesca Delogu, Ya...
LREC
2010
193views Education» more  LREC 2010»
15 years 8 months ago
DiSCo - A German Evaluation Corpus for Challenging Problems in the Broadcast Domain
Typical broadcast material contains not only studio-recorded texts read by trained speakers, but also spontaneous and dialect speech, debates with cross-talk, voice-overs, and on-...
Doris Baum, Daniel Schneider, Rolf Bardeli, Jochen...
PUK
2003
15 years 8 months ago
Accelerating Heuristic Search in Spatial Domains
This paper exploits the spatial representation of state space problem graphs to preprocess and enhance heuristic search engines. It combines classical AI exploration with computati...
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
IJVR
2008
111views more  IJVR 2008»
15 years 6 months ago
Improve a Game Board based on Cultural Algorithms
Evolutionary computation is a generic term used to make reference to the solution of computational problems planned and implemented based on models of an evolutionary process. Most...
Alberto Ochoa, Alejandro Padilla, Saúl Gonz...