3239 search results - page 348 / 648 » A Logical Process Calculus |
123
click to vote
BIOADIT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...
131
click to vote
EMNLP
2009
15 years 2 months ago
2009
It is well known that pragmatic knowledge is useful and necessary in many difficult language processing tasks, but because this knowledge is difficult to acquire and process autom...
156
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
111
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
183
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...