Sciweavers

2917 search results - page 167 / 584
» Satisfying Interaction Constraints
Sort
View
CLEIEJ
2006
88views more  CLEIEJ 2006»
13 years 10 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
JUCS
2010
141views more  JUCS 2010»
13 years 8 months ago
Trust-Oriented Composite Service Selection with QoS Constraints
Abstract: In Service-Oriented Computing (SOC) environments, service clients interact with service providers for consuming services. From the viewpoint of service clients, the trust...
Lei Li, Yan Wang, Ee-Peng Lim
ICCV
2011
IEEE
12 years 10 months ago
Active Geodesics: Region based Active Contour Segmentation with a Global Edge based Constraint
We present an active geodesic contour model in which we constrain the evolving active contour to be a geodesic with respect to a weighted edge-based energy through its entire evol...
Vikram Appia, Anthony Yezzi
GAMEON
2009
13 years 8 months ago
Explorations in Player Motivations: Game Mechanics
This article, assuming that player motivations are the outcome of continuous player-environment interactions, applies the needs framework of Murray (1938) to a computer game and i...
Barbaros Bostan, Ugur Kaplancali
SDM
2009
SIAM
105views Data Mining» more  SDM 2009»
14 years 7 months ago
Exploiting Semantic Constraints for Estimating Supersenses with CRFs.
The annotation of words and phrases by ontology concepts is extremely helpful for semantic interpretation. However many ontologies, e.g. WordNet, are too fine-grained and even hu...
Gerhard Paaß, Frank Reichartz