3256 search results - page 473 / 652 » Applications of Formal Methods to System Design and Verifica... |
161
click to vote
ML
2007
ACM
15 years 4 months ago
2007
ACM
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
141
Voted
IV
2002
IEEE
15 years 10 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
154
click to vote
ICARIS
2009
Springer
15 years 12 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
146
click to vote
KCAP
2009
ACM
15 years 12 months ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
163
click to vote
ISPW
2005
IEEE
15 years 11 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...