2086 search results - page 310 / 418 » Principles of Software Evolution |
146
click to vote
SIES
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
99
Voted
ADC
2007
Springer
15 years 8 months ago
2007
Springer
A huge diversity of biological databases is available via the Internet, but many of these databases have been developed in an ad hoc manner rather than in accordance with any data...
128
Voted
IBPRIA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
128
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
112
click to vote
CVPR
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the first systematic empirical study of the particle filter (PF) algorithms for human figure tracking in video. Our analysis and evaluation follows a modula...