Sciweavers

898 search results - page 32 / 180
» Transitions of the Pre-Symmetry Set
Sort
View
ANOR
2008
89views more  ANOR 2008»
14 years 10 months ago
Ordered sets with interval representation and ( m , n )-Ferrers relation
: Semiorders may form the simplest class of ordered sets with a not necessarily transitive indifference relation. Their generalization has given birth to many other classes of orde...
Meltem Öztürk
OOPSLA
2010
Springer
14 years 8 months ago
Refactoring references for library migration
This report is a companion to the paper “Refactoring References for Library Migration” published at the ACM SIGPLAN International Conference on Systems, Programming, Languages...
Puneet Kapur, Bradley Cossette, Robert J. Walker
ACL
2009
14 years 7 months ago
Compiling a Massive, Multilingual Dictionary via Probabilistic Inference
Can we automatically compose a large set of Wiktionaries and translation dictionaries to yield a massive, multilingual dictionary whose coverage is substantially greater than that...
Mausam, Stephen Soderland, Oren Etzioni, Daniel S....
CORR
2009
Springer
74views Education» more  CORR 2009»
14 years 7 months ago
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kul...
CDC
2010
IEEE
150views Control Systems» more  CDC 2010»
14 years 4 months ago
An adjoint method for second-order switching time optimization
Abstract-- Switched systems evolve over a sequence of continuous modes of operation, transitioning between modes in a discrete manner. Assuming a mode sequence is known, the evolut...
Timothy M. Caldwell, Todd D. Murphey