43264 search results - page 94 / 8653 » Comparing models of computation |
FUIN
2008
13 years 9 months ago
2008
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
CCGRID
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents a comparative study of Kerrighed, openMosix and OpenSSI, three Single System Image (SSI) operating systems for clusters. This experimental study gives an overv...
ACL
2009
13 years 6 months ago
2009
We compare the CCG parser of Clark and Curran (2007) with a state-of-the-art Penn Treebank (PTB) parser. An accuracy comparison is performed by converting the CCG derivations into...
EMMCVPR
1997
Springer
14 years 1 months ago
1997
Springer
We present a general method for matching segmented parts of objects by energy minimization. The energy is designed in order to cope with possible imperfections of the compared segm...
NSDI
2008
13 years 11 months ago
2008
We present the design of a user study for comparing the security of two registration mechanisms for initializing credentials in machine authentication protocols, such as SiteKey. ...