Sciweavers

949 search results - page 59 / 190
» Theory of Constraints
Sort
View
82
Voted
CADE
2006
Springer
16 years 29 days ago
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
Maria Paola Bonacina, Silvio Ghilardi, Enrica Nico...
97
Voted
AVSS
2003
IEEE
15 years 6 months ago
A Survey of Camera Self-Calibration
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
Elsayed E. Hemayed
105
Voted
COMPLEXITY
2010
124views more  COMPLEXITY 2010»
14 years 10 months ago
Spatially embedded dynamics and complexity
To gain a deeper understanding of the impact of spatial embedding on the dynamics of complex systems we employ a measure of interaction complexity developed within neuroscience us...
Christopher L. Buckley, Seth Bullock, Lionel Barne...
111
Voted
ATAL
2009
Springer
15 years 7 months ago
Evaluating hybrid constraint tightening for scheduling agents
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
James C. Boerkoel Jr., Edmund H. Durfee
91
Voted
ATAL
2010
Springer
15 years 1 months ago
Formalizing organizational constraints: a semantic approach
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...