Sciweavers

4335 search results - page 741 / 867
» Ontology Engineering Relationally
Sort
View
EWCBR
2004
Springer
14 years 4 months ago
Feature Selection and Generalisation for Retrieval of Textual Cases
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
Nirmalie Wiratunga, Ivan Koychev, Stewart Massie
FSTTCS
2004
Springer
14 years 4 months ago
Hardness Hypotheses, Derandomization, and Circuit Complexity
We consider hypotheses about nondeterministic computation that have been studied in different contexts and shown to have interesting consequences: • The measure hypothesis: NP d...
John M. Hitchcock, Aduri Pavan
GECCO
2004
Springer
327views Optimization» more  GECCO 2004»
14 years 4 months ago
Evolution, Robustness, and Adaptation of Sidewinding Locomotion of Simulated Snake-Like Robot
Inspired by the efficient method of locomotion of the rattlesnake Crotalus cerastes, the objective of this work is automatic design through genetic programming, of the fastest poss...
Ivan Tanev, Thomas S. Ray, Andrzej Buller
ICFEM
2004
Springer
14 years 4 months ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...
ICSOC
2004
Springer
14 years 4 months ago
Methodological support for service-oriented design with ISDL
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...