4266 search results - page 359 / 854 » A Framework for Defining Logics |
187
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
171
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
171
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
181
click to vote
FCT
2005
Springer
16 years 1 months ago
2005
Springer
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
179
click to vote
ER
2004
Springer
16 years 1 months ago
2004
Springer
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...