Sciweavers

11151 search results - page 317 / 2231
» On the Complexity of Model Expansion
Sort
View
ICALP
2003
Springer
16 years 20 days ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
ACSD
2005
IEEE
114views Hardware» more  ACSD 2005»
16 years 1 months ago
Controlling Speculative Design Processes Using Rich Component Models
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...
Werner Damm
ADBIS
1995
Springer
76views Database» more  ADBIS 1995»
15 years 11 months ago
Towards a Realistic Model of Indices in Object Bases
A comparison of several indexing techniques for complex object in object-oriented database systems is presented, based on assumption of non-uniform distribution of attribute value...
Boris Novikov
160
Voted
IMCSIT
2010
15 years 2 months ago
Constructive Volume Modeling
In this article we intend to present a method of obtaining high complexity sinthetic scenes by using simple volumes as the building blocks. The below described method can be used t...
Mihai Tudorache, Mihai Popescu, Razvan Tanasie
203
Voted
ICDCN
2009
Springer
16 years 2 months ago
Compact Routing Schemes for Dynamic Trees in the Fixed Port Model
Abstract. The current paper considers the routing problem in dynamic trees under the fixed-port model, in which an adversary chooses the port numbers assigned to each node. We pre...
Amos Korman