2364 search results - page 72 / 473 » An Engine for Computing Well-Founded Models |
102
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
292
Voted
CCIW
2011
Springer
14 years 7 months ago
2011
Springer
The representation model that considers an image as a sparse linear combination of few atoms of a predefined or learned dictionary has received considerable attention in recent ye...
164
Voted
AI
2009
Springer
15 years 10 months ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
139
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
122
Voted
SEFM
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...