417 search results - page 59 / 84 » Orderings for Innermost Termination |
WCE
2007
13 years 8 months ago
2007
— Multimedia applications require high bandwidth in order to assure certain level of Quality of Service (QoS). It is well known that the characteristics of the traffic for multim...
AAAI
2008
13 years 8 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
SECON
2010
IEEE
13 years 5 months ago
2010
IEEE
Existing solutions to carrier-based sensor placement by a single robot, in a bounded unknown region of interest (ROI), do not guarantee full area coverage and/or do not terminate. ...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video of a static scene. As in classical model-based video codi...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Probabilistic tractography provides estimates of the probability of a structural connection between points or regions in a brain volume, based on information from diffusi...