2272 search results - page 130 / 455 » Capture Complexity by Partition |
COMPLEXITY
2007
14 years 10 months ago
2007
Since its application to systems, emergence has been explained in terms of levels of observation. This approach has led to confusion, contradiction, incoherence and at times mysti...
AI
2005
Springer
14 years 10 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
161
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper addresses the limitation of current multilinear PCA based techniques, in terms of prohibitive computational cost of testing and poor generalisation in some scenarios, w...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
The modeling of power and thermal behavior of modern processors requires challenging validation approaches, which may be complex and in some cases unreliable. In order to address ...