Sciweavers

1814 search results - page 231 / 363
» Improved Results on Geometric Hitting Set Problems
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 4 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
AAAI
2008
15 years 9 months ago
Achieving Far Transfer in an Integrated Cognitive Architecture
Transfer is the ability to employ knowledge acquired in one task to improve performance in another. We study transfer in the context of the ICARUS cognitive architecture, which su...
Dan Shapiro, Tolga Könik, Paul O'Rorke
EMNLP
2008
15 years 8 months ago
Latent-Variable Modeling of String Transductions with Finite-State Methods
String-to-string transduction is a central problem in computational linguistics and natural language processing. It occurs in tasks as diverse as name transliteration, spelling co...
Markus Dreyer, Jason Smith, Jason Eisner
EON
2008
15 years 8 months ago
Debugging OWL Ontologies - A Reality Check
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
Heiner Stuckenschmidt
EUSFLAT
2001
130views Fuzzy Logic» more  EUSFLAT 2001»
15 years 8 months ago
Autonomous robot behaviours for co-operative agents using fuzzy logic and subtractive clustering
Intelligent autonomous robots and multiagent systems, having different skills and capabilities for specific subtasks, have the potential to solve problems more efficiently and eff...
Alexandros Mouzakitis, Geoff Roberts