989 search results - page 42 / 198 » LIME: A System for Learning Relations |
AAAI
2008
13 years 10 months ago
2008
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...
AIMSA
2006
Springer
14 years 7 days ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
ICWL
2003
Springer
14 years 1 months ago
2003
Springer
Creativity is an important asset in today’s fast changing environment. We believe it can and should be stimulated in educational environments, through the use of tools and carefu...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Knowledge flow in interdisciplinary teams has become of particular interest as research and alliances cross traditional disciplinary boundaries, and as computing is applied in any...
JSW
2007
13 years 8 months ago
2007
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...