Sciweavers

2607 search results - page 358 / 522
» Complete Functional Synthesis
Sort
View
ICFEM
1997
Springer
15 years 10 months ago
Development and Application of a Formal Agent Framework
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
Mark d'Inverno, Michael Luck
CHI
1994
ACM
15 years 10 months ago
Using aggregation and dynamic queries for exploring large data sets
When working with large data sets, users perform three primary types of activities: data manipulation, data analysis, and data visualization. The data manipulation process involve...
Jade Goldstein, Steven F. Roth
3DPVT
2004
IEEE
126views Visualization» more  3DPVT 2004»
15 years 10 months ago
Helmholtz Stereopsis on Rough and Strongly Textured Surfaces
Helmholtz Stereopsis (HS) has recently been explored as a promising technique for capturing shape of objects with unknown reflectance. So far, it has been widely applied to object...
Jean-Yves Guillemaut, Ondrej Drbohlav, Radim S&aac...
BIOADIT
2006
Springer
15 years 10 months ago
MOVE Processors That Self-replicate and Differentiate
Abstract. This article describes an implementation of a basic multiprocessor system that exhibits replication and differentiation abilities on the POEtic tissue, a programmable har...
Joël Rossier, Yann Thoma, Pierre-André...
CP
2006
Springer
15 years 10 months ago
Interactive Distributed Configuration
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henne...