1477 search results - page 96 / 296 » Complexity of (iterated) dominance |
168
click to vote
ENTCS
2006
15 years 6 months ago
2006
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
163
click to vote
TEC
2008
15 years 6 months ago
2008
This paper describes a simulated annealing based multiobjective optimization algorithm that incorporates the concept of archive in order to provide a set of tradeoff solutions for ...
187
click to vote
QUESTA
2007
15 years 5 months ago
2007
Obtaining (tail) probabilities from a transform function is an important topic in queueing theory. To obtain these probabilities in discrete-time queueing systems, we have to inve...
171
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
Content-Based Copy Detection (CBCD) of digital videos is an important research field that aims at the identification of modified copies of an original clip, e.g., on the Intern...
188
click to vote
ECBS
2010
IEEE
15 years 4 months ago
2010
IEEE
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...