4126 search results - page 675 / 826 » Set based logic programming |
106
click to vote
ACSD
2008
IEEE
15 years 3 days ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
CG
2006
Springer
15 years 2 days ago
2006
Springer
Temporal difference (TD) learning has been used to learn strong evaluation functions in a variety of two-player games. TD-gammon illustrated how the combination of game tree search...
ICVGIP
2004
14 years 11 months ago
2004
We present a method to determine the 3D spatial locations of joints of a human body from a monocular video sequence of a Bharatanatyam dance. The proposed method uses domain speci...
MASCOTS
2001
14 years 11 months ago
2001
This paper presents a tool for MPLS network dimensioning that allows for multi-hour dimensioning of networks supporting simultaneously peer-to-peer and client-server services. The...
PDPTA
2004
14 years 11 months ago
2004
Abstract One of the goals envisioned by Grid computing is to make the execution of both computational and data-intensive problems possible. A key problem is finding the optimal set...