437 search results - page 63 / 88 » Automatic Generation of Implied Constraints |
130
Voted
ERCIMDL
2009
Springer
15 years 7 months ago
2009
Springer
In this demonstration we will examine the effectiveness of Geographic Information Retrieval (GIR) methods in digital library interfaces. We will show how various types of informat...
111
Voted
ILP
2005
Springer
15 years 6 months 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...
123
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
We study an online random linear network coding approach for time division duplexing (TDD) channels under Poisson arrivals. We model the system as a bulk-service queue with variabl...
94
Voted
VR
2009
IEEE
15 years 7 months ago
2009
IEEE
Computer-generated facial avatars have been increasingly used in a variety of virtual reality applications. Emulating the real-world face sculpting process, we present an interact...
97
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...