3951 search results - page 292 / 791 » Automatic amortized analysis |
180
click to vote
CODES
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
178
click to vote
ICECCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Component-based technology is increasingly adopted to speed up the development of complex software through component reuse. Unfortunately, the lack of complete information about r...
200
click to vote
AVBPA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper we introduce a novel approach for learning view-invariant gait representation that does not require synthesizing particular views or any camera calibration....
244
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
152
click to vote
DIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...