16091 search results - page 3010 / 3219 » Solving |
157
click to vote
DAC
1994
ACM
15 years 8 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
140
click to vote
LICS
1991
IEEE
15 years 8 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
128
click to vote
NOSSDAV
1991
Springer
15 years 8 months ago
1991
Springer
One of the most important emerging developments for improving the user/computer interface has been the addition of multimedia facilities to high-performance workstations. Although...
155
click to vote
VLDB
1987
ACM
15 years 8 months ago
1987
ACM
is at least ae powerful as SQL. Two well known relational query languages that have a sound theoretical foundation are relational algebra and relational calculus. As SQL is more cl...
141
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...