615 search results - page 71 / 123 » Completeness of Combinations of Constructor Systems |
142
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
147
click to vote
TCBB
2008
15 years 4 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
130
click to vote
FUIN
2007
15 years 4 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
147
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Multi-point interaction tasks involve the manipulation of several mutually-dependent control points in a visual workspace ? for example, adjusting a selection rectangle in a drawi...
135
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...