Sciweavers

12742 search results - page 324 / 2549
» On canonical number systems
Sort
View
CBSE
2005
Springer
16 years 7 days ago
Optimizing Resource Usage in Component-Based Real-Time Systems
This report presents data regarding simulation setup, the genetic algorithms setup and a short description to the use of the genetic algorithms. This report is written in the conte...
Johan Fredriksson, Kristian Sandström, Mikael...
EURONGI
2005
Springer
16 years 7 days ago
A Low Computation Cost Algorithm to Solve Cellular Systems with Retrials Accurately
Abstract. This paper proposes an approximate methodology for solving Markov models that compete for limited resources and retry when access fails, like those arising in mobile cell...
Maria José Doménech-Benlloch, Jos&ea...
VMCAI
2005
Springer
16 years 5 days ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
COCO
2004
Springer
79views Algorithms» more  COCO 2004»
16 years 3 days ago
Relativized NP Search Problems and Propositional Proof Systems
An NP search problem is the problems of finding a witness to the given NP predicate, and TFNP is the class of total NP search problems. TFNP contains a number of subclasses conta...
Josh Buresh-Oppenheim, Tsuyoshi Morioka
ECCV
2004
Springer
16 years 3 days ago
Extrinsic Camera Parameter Recovery from Multiple Image Sequences Captured by an Omni-Directional Multi-camera System
Recently, many types of omni-directional cameras have been developed and attracted much attention in a number of different fields. Especially, the multi-camera type of omni-direc...
Tomokazu Sato, Sei Ikeda, Naokazu Yokoya