3690 search results - page 537 / 738 » Computation with classical sequents |
138
click to vote
FOSSACS
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
141
click to vote
FOSSACS
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
145
click to vote
FOSSACS
2009
Springer
16 years 7 days ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
142
click to vote
GIS
2009
ACM
16 years 7 days ago
2009
ACM
We propose an automatic approach to tree detection from aerial imagery. First a pixel-level classifier is trained to assign a {tree, non-tree} label to each pixel in an aerial im...
125
click to vote
CIDM
2009
IEEE
16 years 6 days ago
2009
IEEE
Abstract— Scheme-specific attribute selection with the wrapper and variants of forward selection is a popular attribute selection technique for classification that yields good ...