2607 search results - page 294 / 522 » Complete Functional Synthesis |
120
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
126
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
123
click to vote
CSCWD
2005
Springer
15 years 10 months ago
2005
Springer
It is a challenging issue to exchange procedural CAD models between heterogeneous CAD systems. In this paper, we extend the synchronized collaborative design environment among hete...
152
click to vote
BVAI
2005
Springer
15 years 10 months ago
2005
Springer
Inspired by psychophysical studies of the human cognitive abilities we propose a novel aspect and a method for performance evaluation of contour based shape recognition algorithms ...
142
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. One of the most successful methods to auto...