615 search results - page 71 / 123 » Completeness of Combinations of Constructor Systems |
PLDI
2003
ACM
14 years 29 days 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...
TCBB
2008
13 years 7 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...
FUIN
2007
13 years 7 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...
CHI
2007
ACM
14 years 8 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...
ICCAD
2006
IEEE
14 years 4 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...