Sciweavers

3185 search results - page 240 / 637
» Domain and language evaluation results
Sort
View
GI
2004
Springer
16 years 3 days ago
Ontology based Recruitment Process
: In our research we explore the benefits resulting from the application of Semantic Web technologies in the recruitment domain. We use currently available standards and classifi...
Malgorzata Mochol, Radoslaw Oldakowski, Ralf Heese
ICTAC
2004
Springer
16 years 2 days ago
A Proof of Weak Termination Providing the Right Way to Terminate
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
Olivier Fissore, Isabelle Gnaedig, Hél&egra...
MEDINFO
2007
116views Healthcare» more  MEDINFO 2007»
15 years 8 months ago
Knowledge-Level Querying of Temporal Patterns in Clinical Research Systems
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
Martin J. O'Connor, Ravi D. Shankar, David B. Parr...
CORR
1999
Springer
124views Education» more  CORR 1999»
15 years 6 months ago
An Algebraic Programming Style for Numerical Software and its Optimization
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
T. B. Dinesh, Magne Haveraaen, Jan Heering
172
Voted
GECCO
2003
Springer
101views Optimization» more  GECCO 2003»
15 years 12 months ago
Population Implosion in Genetic Programming
With the exception of a small body of adaptive-parameter literature, evolutionary computation has traditionally favored keeping the population size constant through the course of t...
Sean Luke, Gabriel Catalin Balan, Liviu Panait