3828 search results - page 331 / 766 » Proof-Based System Engineering Using a Virtual System Model |
184
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
The software clustering problem has attracted much attention recently, since it is an integral part of the process of reverse engineering large software systems. A key problem in ...
191
click to vote
IUI
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
224
click to vote
SEMWEB
2009
Springer
16 years 2 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
197
click to vote
IESA
2007
15 years 9 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
209
Voted
ICAPR
2009
Springer
16 years 2 days ago
2009
Springer
In this paper, we propose a method to exploit the uniqueness in the illumination variations on the face image of a subject for face verification. Using the 3D wireframe model of a...