2688 search results - page 290 / 538 » A formal semantics for P3P |
157
click to vote
FOSSACS
2004
Springer
16 years 2 days 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...
137
click to vote
IBERAMIA
2004
Springer
16 years 2 days ago
2004
Springer
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
195
click to vote
JELIA
2004
Springer
16 years 2 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
178
click to vote
SAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
155
click to vote
TSD
2004
Springer
16 years 1 days ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...