386 search results - page 48 / 78 » A Consistent Semantics of Self-adjusting Computation |
102
Voted
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
108
Voted
ISSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
113
click to vote
LREC
2008
15 years 3 months ago
2008
In this paper we present an active approach to annotate with lexical and semantic labels an Italian corpus of conversational human-human and Wizard-of-Oz dialogues. This procedure...
123
click to vote
IJCAI
2003
15 years 3 months ago
2003
Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all t...