1277 search results - page 66 / 256 » Terminating Decision Algorithms Optimally |
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
122
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Mediation is the process of decomposing a task into subtasks, finding agents suitable for these subtasks and negotiating with agents to obtain commitments to execute these subtas...
145
click to vote
PCM
2004
Springer
15 years 8 months ago
2004
Springer
Content adaptation is an effective solution to support the quality of service for multimedia services over heterogeneous networks. This paper deals with the accuracy and the real-...
146
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
175
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...