2688 search results - page 290 / 538 » A formal semantics for P3P |
180
click to vote
FOSSACS
2004
Springer
16 years 20 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...
150
click to vote
IBERAMIA
2004
Springer
16 years 20 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...
220
click to vote
JELIA
2004
Springer
16 years 19 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...
202
click to vote
SAS
2004
Springer
16 years 19 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...
179
click to vote
TSD
2004
Springer
16 years 19 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...