Sciweavers

14347 search results - page 2680 / 2870
» Interactive Granular Computing
Sort
View
EJWCN
2010
122views more  EJWCN 2010»
14 years 10 months ago
Using Model Checking for Analyzing Distributed Power Control Problems
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...
HOTNETS
2010
14 years 10 months ago
A case for information-bound referencing
Links and content references form the foundation of the way that users interact today. Unfortunately, the links used today (URLs) are fragile since they tightly specify a protocol...
Ashok Anand, Aditya Akella, Vyas Sekar, Srinivasan...
JAISE
2010
163views Algorithms» more  JAISE 2010»
14 years 10 months ago
Affective negotiation support systems
Negotiation is a process in which two or more parties aim to reach a joint agreement. As such negotiation involves rational decision making about options and issues. However, negot...
Joost Broekens, Catholijn M. Jonker, John-Jules Ch...
JCIT
2010
181views more  JCIT 2010»
14 years 10 months ago
Geospatial Web Services Semantic Discovery Approach Using Quality
The use of geographic data through Web services shows the geospatial Web Services (GWS). A growing number of GWS designed to interoperate spatial information over the network have...
Rezeg Khaled, Laskri Mohamed Tayeb, Sylvie Servign...
MIA
2010
113views more  MIA 2010»
14 years 10 months ago
Musculoskeletal MRI segmentation using multi-resolution simplex meshes with medial representations
The automatic segmentation of the musculoskeletal system from medical images is a particularly challenging task, due to its morphological complexity, its large variability in the ...
Benjamin Gilles, Nadia Magnenat-Thalmann
« Prev « First page 2680 / 2870 Last » Next »