10916 search results - page 207 / 2184 » On Constructive Connectives and Systems |
160
click to vote
WMTE
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
188
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
155
click to vote
ROBOCUP
2004
Springer
15 years 12 months ago
2004
Springer
We describe a new method for detecting features on a marked RoboCup field. We implemented the framework for robots with omnidirectional vision, but the method can be easily adapte...
183
click to vote
ICML
1991
IEEE
15 years 10 months ago
1991
IEEE
Artificial neural networks have proven to be a successful, general method for inductive learning from examples. However, they have not often been viewed in terms of constructive ...
173
click to vote
WSC
2008
15 years 9 months ago
2008
This paper describes a framework of real-time simulation for modeling heavy construction operations. Compared with the traditional offline simulation that uses stationary inputs, ...