Sciweavers

1507 search results - page 118 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
SERP
2008
13 years 11 months ago
Object-Oriented Hypermedia Design and J2EE Technology for Web-based Applications
Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and ...
Habib Karimpour, Ayaz Isazadeh, Mohsen Heydarian
CP
2008
Springer
13 years 12 months ago
Model Restarts for Structural Symmetry Breaking
ctural abstractions that were introduced in [17]. Compared with other symmetry-breaking techniques, the big advantage of dynamic symmetry breaking is that it can accommodate dynami...
Daniel S. Heller, Aurojit Panda, Meinolf Sellmann,...
IPCO
2008
221views Optimization» more  IPCO 2008»
13 years 11 months ago
A Comparative Study of Linear and Semidefinite Branch-and-Cut Methods for Solving the Minimum Graph Bisection Problem
Abstract. Semidefinite relaxations are known to deliver good approximations for combinatorial optimization problems like graph bisection. Using the spectral bundle method it is pos...
Michael Armbruster, Marzena Fügenschuh, Chris...
IPL
2008
65views more  IPL 2008»
13 years 10 months ago
On the fixed-parameter tractability of parameterized model-checking problems
In this note, we show, through the use of examples, how generic results for proving fixed-parameter tractability which apply to restricted classes of structures can sometimes be m...
Iain A. Stewart
CEC
2003
IEEE
14 years 1 months ago
Dynamics of gene expression in an artificial genome
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...
Kai Willadsen, Janet Wiles