4451 search results - page 266 / 891 » Continuous model synthesis |
173
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
175
click to vote
GMAI
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes a method allowing the automatic multi-texturing and simulation of surface imperfections based on a cellular network. In this representation, networks of conne...
163
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper, we propose a novel face hallucination framework based on image patches, which exploits local geometry structures of overlapping patches to hallucinate different com...
175
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
156
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...