Sciweavers

1512 search results - page 148 / 303
» When Suboptimal Rules
Sort
View
CAISE
2008
Springer
15 years 1 months ago
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
Pnina Soffer, Maya Kaner, Yair Wand
CAV
2008
Springer
99views Hardware» more  CAV 2008»
15 years 1 months ago
Functional Verification of Power Gated Designs by Compositional Reasoning
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
Cindy Eisner, Amir Nahir, Karen Yorav
COLING
2008
15 years 22 days ago
A Systematic Comparison of Phrase-Based, Hierarchical and Syntax-Augmented Statistical MT
Probabilistic synchronous context-free grammar (PSCFG) translation models define weighted transduction rules that represent translation and reordering operations via nonterminal s...
Andreas Zollmann, Ashish Venugopal, Franz Josef Oc...
IJCAI
2007
15 years 21 days ago
The Ins and Outs of Critiquing
Eliminating previously recommended products in critiquing limits the choices available to users when they attempt to navigate back to products they critiqued earlier in the dialog...
David McSherry, David W. Aha
SODA
2008
ACM
93views Algorithms» more  SODA 2008»
15 years 21 days ago
Fast load balancing via bounded best response
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...
Baruch Awerbuch, Yossi Azar, Rohit Khandekar