14642 search results - page 227 / 2929 » It's Time for a Change |
179
click to vote
ECRTS
2005
IEEE
16 years 8 days ago
2005
IEEE
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
157
click to vote
PPSWR
2004
Springer
16 years 16 hour ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
193
click to vote
TCSB
2008
15 years 6 months ago
2008
Clustering gene expression data given in terms of time-series is a challenging problem that imposes its own particular constraints, namely exchanging two or more time points is not...
160
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
We propose a real-time method for simultaneously refining the reconstructed volume of a human body with loose-fitting clothing and identifying body-parts in it. Time-series volumes...
184
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...