4666 search results - page 83 / 934 » Equations on Timed Languages |
117
click to vote
QI
2009
Springer
15 years 7 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
108
click to vote
SIAMSC
2010
14 years 11 months ago
2010
In recent years nonpolynomial finite element methods have received increasing attention for the efficient solution of wave problems. As with their close cousin the method of parti...
129
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
71
Voted
ER
2009
Springer
15 years 7 months ago
2009
Springer
66
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer