1508 search results - page 205 / 302 » A Toolbox of Level Set Methods |
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
ICDE
2007
IEEE
15 years 4 months ago
2007
IEEE
—Radio Frequency Identification (RFID) is an emerging technique that can significantly enhance supply chain processes and deliver customer service improvements. RFID provides use...
ER
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
CIMCA
2005
IEEE
15 years 3 months ago
2005
IEEE
— This paper introduces a quantitative method for social data analysis, which is based on the use of categorical data clustering. More specifically, we employ categorical data cl...
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...