Sciweavers

1138 search results - page 47 / 228
» Talking about concerns
Sort
View
JSW
2006
71views more  JSW 2006»
14 years 11 months ago
Semantics and Extensions of WS-Agreement
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
Ganna Frankova, Daniela Malfatti, Marco Aiello
JUCS
2006
131views more  JUCS 2006»
14 years 11 months ago
Verification of CRWL Programs with Rewriting Logic
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
José Miguel Cleva, Isabel Pita
PAMI
2008
231views more  PAMI 2008»
14 years 11 months ago
Nonrigid Structure-from-Motion: Estimating Shape and Motion with Hierarchical Priors
This paper describes methods for recovering time-varying shape and motion of nonrigid 3D objects from uncalibrated 2D point tracks. For example, given a video recording of a talkin...
Lorenzo Torresani, Aaron Hertzmann, Christoph Breg...
SIGKDD
2008
104views more  SIGKDD 2008»
14 years 11 months ago
8th French-speaking conference on knowledge discovery and management (EGC2008): conference report
In this paper, we provide a report about the 8th French-speaking conference on Knowledge Discovery and Management (EGC'2008) [1] held in Sophia Antipolis, France, from Januar...
Fabrice Guillet, Brigitte Trousse
KBS
2000
59views more  KBS 2000»
14 years 11 months ago
Hands-on representations in a two-dimensional space for early stages of design
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...
Yasuhiro Yamamoto, Kumiyo Nakakoji, Shingo Takada