513 search results - page 33 / 103 » Generic Methods for Optimization-Based Modeling |
ENTCS
2006
13 years 8 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
VLDB
1995
ACM
14 years 5 days ago
1995
ACM
Query processing is one of the most, critical issues in Object-Oriented DBMSs. Extensible opt,imizers with efficient, search strategies require a cost model to select the most eff...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
The annotation of song changes in music mixes created by DJs or radio stations for direct access in digital recordings is, usually, a very tedious work. In order to support this p...
KES
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper proposes an approach to classify human arm motion using qualitative normalized templates. The proposed method consists of construction of human arm model, qual...
IBPRIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we present a method suitable to be used for human tracking as a temporal prior in a particle filtering framework such as CONDENSATION [5]. This method is f...