4074 search results - page 340 / 815 » Defining Computational Aesthetics |
173
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
228
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
172
click to vote
IPSN
2005
Springer
16 years 7 days ago
2005
Springer
—We describe the development of a set of embedded system building blocks, known as eBlocks. An eBlock network can be viewed as a basic form of sensor network that can be develope...
184
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
179
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...