2607 search results - page 258 / 522 » Complete Functional Synthesis |
143
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
132
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents an approach to building plans using partially observable Markov decision processes. The approach begins with a base solution that assumes full observability. T...
150
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
-- In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis...
112
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
152
click to vote
KES
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...