3799 search results - page 636 / 760 » An Engineering Approach to Formal Methods |
132
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
140
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Clustering is a fundamental task in Spatial Data Mining where data consists of observations for a site (e.g. areal units) descriptive of one or more (spatial) primary units, possib...
152
click to vote
AI
2003
Springer
15 years 10 months ago
2003
Springer
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complet...
133
click to vote
EDOC
2002
IEEE
15 years 10 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
143
Voted
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...