11151 search results - page 140 / 2231 » On the Complexity of Model Expansion |
138
Voted
TCS
2008
15 years 4 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
194
click to vote
NAR
2011
14 years 7 months ago
2011
The Universal PBM Resource for OligonucleotideBinding Evaluation (UniPROBE) database is a centralized repository of information on the DNAbinding preferences of proteins as determ...
125
Voted
VLDB
1989
ACM
15 years 8 months ago
1989
ACM
An important direction in database research for non-standard applications (e.g. engineering or design applications) deals with adequate support for complex objects. Without doubt,...
113
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
We propose a new complexity modeling framework for multimedia tasks. We characterize the traffic with five parameters that together we designate as a task's complexity specif...
158
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Many optimization techniques have been adopted for efficient job scheduling in grid computing, such as: genetic algorithms, simulated annealing and stochastic methods. Such techni...