2316 search results - page 172 / 464 » The many forms of hypercomputation |
188
click to vote
SAT
2009
Springer
16 years 28 days ago
2009
Springer
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...
127
click to vote
HICSS
2008
IEEE
16 years 25 days ago
2008
IEEE
In recent years, the emergence of the term IT Governance (ITG) has pointed to the increasing importance for business of effecting an alignment between its strategic direction and ...
155
click to vote
ADBIS
2008
Springer
16 years 22 days ago
2008
Springer
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the databa...
157
click to vote
CGO
2007
IEEE
16 years 22 days ago
2007
IEEE
Memory transfers are becoming more important to optimize, for both performance and power consumption. With this goal in mind, new register allocation schemes are developed, which ...
157
click to vote
ICDCSW
2007
IEEE
16 years 21 days ago
2007
IEEE
It is well known that both space and the spatial organization play an important role in our work and learning environments as well as in everyday life. There is a definite need fo...