Sciweavers

1088 search results - page 79 / 218
» Independence of Negative Constraints
Sort
View
ACISICIS
2007
IEEE
15 years 4 months ago
A Framework to Detect Deviations During Process Enactment
People enacting processes deviate from the process definition for a variety of different reasons, the consequences of which may be either positive or negative. Detecting deviation...
Sean Thompson, Torab Torabi, Purva Joshi
ISCAS
2002
IEEE
92views Hardware» more  ISCAS 2002»
15 years 2 months ago
Dynamic throughput estimation for wireless multimedia transmission
Dynamic throughput estimation for wireless multimedia transmission is examined in this research. A novel dynamic mapping scheme from measurements of a real-world wireless environm...
Wuttipong Kumwilaisak, C. C. Jay Kuo
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
14 years 11 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
PLANX
2007
14 years 11 months ago
XPath Typing Using a Modal Logic with Converse for Finite Trees
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
Pierre Genevès, Nabil Layaïda, Alan Sc...
BMVC
1998
14 years 11 months ago
Color Invariant Snakes
Snakes provide high-level information in the form of continuity constraints and minimum energy constraints related to the contour shape and image features. These image features ar...
Theo Gevers, Sennay Ghebreab, Arnold W. M. Smeulde...