10285 search results - page 1790 / 2057 » Composing Feature Models |
162
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
209
click to vote
UCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...
194
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
163
click to vote
3DPVT
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we present a prototype system for image based localization in urban environments. Given a database of views of city street scenes tagged by GPS locations, the system...
206
click to vote
3DPVT
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents a hybrid 1D motion estimation algorithm which combines pixel-based and region-based approaches that can give depth images from translational video sequences wi...