Sciweavers

467 search results - page 36 / 94
» Modelling Context: An Activity Theory Approach
Sort
View
CVPR
2000
IEEE
14 years 9 months ago
A Curve Evolution Approach to Smoothing and Segmentation Using the Mumford-Shah Functional
In this work, we approach the classic Mumford-Shah problem from a curve evolution perspective. In particular, we let a given family of curves define the boundaries between regions...
Andy Tsai, Anthony J. Yezzi, Alan S. Willsky
CORR
2000
Springer
98views Education» more  CORR 2000»
13 years 7 months ago
Scientific Collaboratories as Socio-Technical Interaction Networks: A Theoretical Approach
Collaboratories refer to laboratories where scientists can work together while they are in distant locations from each other and from key equipment. They have captured the interes...
Rob Kling, Geoffrey W. McKim, Joanna Fortuna, Adam...
CORR
2011
Springer
219views Education» more  CORR 2011»
13 years 2 months ago
Active Markov Information-Theoretic Path Planning for Robotic Environmental Sensing
Recent research in multi-robot exploration and mapping has focused on sampling environmental fields, which are typically modeled using the Gaussian process (GP). Existing informa...
Kian Hsiang Low, John M. Dolan, Pradeep K. Khosla
WISE
2009
Springer
14 years 4 months ago
Formal Identification of Right-Grained Services for Service-Oriented Modeling
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
Yukyong Kim, Kyung-Goo Doh
CADE
2006
Springer
14 years 7 months ago
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
Maria Paola Bonacina, Silvio Ghilardi, Enrica Nico...