3591 search results - page 503 / 719 » Typing linear constraints |
192
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Tagging has become increasingly popular and useful across various social networks and applications. It allows users to classify and organize resources for improving the retrieval p...
192
click to vote
ICMI
2007
Springer
16 years 22 days ago
2007
Springer
In the context of natural multimodal dialogue systems, we address the challenging issue of the definition of cooperative answers in an appropriate multimodal form. Highlighting th...
174
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
184
click to vote
ILP
2005
Springer
16 years 2 days ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
156
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...