417 search results - page 77 / 84 » Orderings for Innermost Termination |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
EMMCVPR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random ļ¬eld. 2.1D sketch is an very important...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
A novel video encoding and splicing method is proposed which minimizes the tune-in time of āchannel zappingā, i.e. changing from one audiovisual service to another, in IPDC ov...
SCAM
2006
IEEE
14 years 1 months ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
CAV
2004
Springer
14 years 27 days ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, TomĀ“aĖs Voj...