1645 search results - page 189 / 329 » Rationale-Based Use Case Specification |
165
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
The instabilities of the medial axis of a shape under deformations have long been recognized as a major obstacle to its use in recognition and other applications. These instabilit...
173
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
148
click to vote
ECIS
2004
15 years 7 months ago
2004
Speed and availability of information, delivered in past years by Internet technologies, made it easier for any company to outsource primary activities, which resulted in unbundli...
175
click to vote
ASE
2002
15 years 6 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
148
Voted
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
The paper addresses the problem of improving the MPEG compression of synthetic video sequences by exploiting the knowledge about the original 3D model. Two techniques are proposed...