1032 search results - page 140 / 207 » Extended Computation Tree Logic |
CAD
2007
Springer
14 years 9 months ago
2007
Springer
In this paper, we propose a novel method of body feature extraction from a marker-less scanned body. The descriptions of human body features mostly defined in ASTM (1999) and ISO...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
Nearest neighbour (NN) searches and k nearest neighbour (k-NN) searches are widely used in pattern recognition and image retrieval. An NN (k-NN) search finds the closest object (...
PLPV
2009
ACM
15 years 6 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
MOBISYS
2004
ACM
15 years 9 months ago
2004
ACM
Wireless data broadcast has received a lot of attention from industries and academia in recent years. Access efficiency and energy conservation are two critical performance concer...