Sciweavers

161 search results - page 28 / 33
» An Approach for Evolving Transformation Chains
Sort
View
UML
2001
Springer
15 years 2 months ago
Mapping between Levels in the Metamodel Architecture
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...
José M. Álvarez, Andy Evans, Paul Sa...
DEBU
2006
163views more  DEBU 2006»
14 years 10 months ago
Towards Activity Databases: Using Sensors and Statistical Models to Summarize People's Lives
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
Tanzeem Choudhury, Matthai Philipose, Danny Wyatt,...
IJCV
2006
266views more  IJCV 2006»
14 years 10 months ago
Kernel Density Estimation and Intrinsic Alignment for Shape Priors in Level Set Segmentation
In this paper, we make two contributions to the field of level set based image segmentation. Firstly, we propose shape dissimilarity measures on the space of level set functions wh...
Daniel Cremers, Stanley Osher, Stefano Soatto
LPAR
2010
Springer
14 years 7 months ago
Synthesis of Trigger Properties
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
Orna Kupferman, Moshe Y. Vardi
INFOCOM
2012
IEEE
13 years 12 days ago
Submodular game for distributed application allocation in shared sensor networks
Abstract—Wireless sensor networks are evolving from singleapplication platforms towards an integrated infrastructure shared by multiple applications. Given the resource constrain...
Chengjie Wu, You Xu, Yixin Chen, Chenyang Lu