208 search results - page 30 / 42 » Realization using the model existence theorem |
CEEMAS
2003
Springer
15 years 3 months ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
CONCUR
2006
Springer
15 years 2 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
102
click to vote
JMLR
2006
14 years 10 months ago
2006
The goal of active learning is to determine the locations of training input points so that the generalization error is minimized. We discuss the problem of active learning in line...
82
Voted
TCC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...