5086 search results - page 398 / 1018 » The Power of Comparative Reasoning |
201
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
207
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
166
click to vote
ICWN
2008
15 years 8 months ago
2008
- Sensor and actor networks are used to monitor and control pipeline infrastructures. This paper discusses and compares different sensor and actor network architectures for water, ...
165
click to vote
AAAI
1997
15 years 8 months ago
1997
Constraint satisfaction research has focussed on consistency checking using k-consistency and its variations such as arc-consistency, and path-consistency. We define a new form of...
162
click to vote
CEE
2010
15 years 6 months ago
2010
Abstract-- The paper examines the implementation of QuasiOrthogonal Space-Time-Frequency Codes (QOSTFCs) to increase data rates and error performance in recently proposed STFC Mult...