1176 search results - page 167 / 236 » Implicit Abstraction Heuristics |
126
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
109
click to vote
CORR
2007
Springer
15 years 16 days ago
2007
Springer
Abstract. Sequential game and Nash equilibrium are basic key concepts in game theory. In 1953, Kuhn showed that every sequential game has a Nash equilibrium. The two main steps of ...
99
Voted
CADE
2006
Springer
16 years 26 days ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
85
Voted
TEI
2009
ACM
15 years 7 months ago
2009
ACM
Musical harmony is considered to be one of the most and technically difficult parts of music. It is y taught formally via abstract, domain-specific concepts, principles, rules and...
93
Voted
MDM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Flash disks have been an emerging secondary storage media. In particular, there have been portable devices, multimedia players and laptop computers that are configured ...