3005 search results - page 366 / 601 » Logical Information Systems: from Taxonomies to Logics |
181
Voted
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
153
click to vote
KAIS
2007
15 years 6 months ago
2007
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
200
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
We describe a reinforcement learning system that transfers skills from a previously learned source task to a related target task. The system uses inductive logic programming to ana...
178
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We address the issue of modelling facial expressions for realistic 3D avatar animation. We introduce a hierarchical decomposition of a human face into different components and mod...
139
click to vote
IEEECIT
2006
IEEE
16 years 21 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...