4211 search results - page 164 / 843 » A formal approach to MASQ |
191
click to vote
APIN
2002
15 years 6 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
150
click to vote
HVC
2007
Springer
16 years 21 days ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
184
click to vote
ACL
2006
15 years 8 months ago
2006
We present a new approach for mapping natural language sentences to their formal meaning representations using stringkernel-based classifiers. Our system learns these classifiers ...
169
click to vote
MASCOTS
2003
15 years 8 months ago
2003
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
180
click to vote
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
This work presents a formal probabilistic approach for solving optimization problems in design automation. Prediction accuracy is very low especially at high levels of design flo...