174 search results - page 31 / 35 » Traces of Term-Automatic Graphs |
ICCV
2005
IEEE
14 years 1 months ago
2005
IEEE
The space of images is known to be a non-linear subspace that is difficult to model. This paper derives an algorithm that walks within this space. We seek a manifold through the ...
ICSM
2002
IEEE
14 years 12 days ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
RE
2009
Springer
14 years 18 hour ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
TABLEAUX
1998
Springer
13 years 11 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
ICS
1993
Tsinghua U.
13 years 11 months ago
1993
Tsinghua U.
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...