9166 search results - page 362 / 1834 » A framework for comparing models of computation |
180
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
157
Voted
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
A framework for modeling and recognition of temporal activities is proposed. The modeling of sets of exemplar activities is achieved by parameterizing their representation in the ...
211
click to vote
SCP
1998
15 years 6 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
154
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present an algorithm for the segmentation of the liver in 2-D computed tomography slice images. The basis for our algorithm is an implicit active shape model. In order to detec...
204
click to vote
JSAC
2007
15 years 6 months ago
2007
— This paper presents an analytical approach to determining the maximum number of on/off voice flows that can be supported over a wireless local area network (WLAN), under a qua...