10890 search results - page 182 / 2178 » Automatic Complexity Analysis |
187
click to vote
SERA
2004
Springer
15 years 11 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
138
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes and evaluates methods to detect pulmonary vein drainages and create detailed vessel trees of each drainage from contrast-enhanced magnetic resonance angiograp...
158
click to vote
IIHMSP
2006
IEEE
16 years 14 days ago
2006
IEEE
A novel progressive estimation scheme is proposed to detect moving targets in infrared video sequences in this work. The proposed algorithm does not place constraints on camera mo...
154
click to vote
HASE
2005
IEEE
16 years 1 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
143
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...