3155 search results - page 483 / 631 » An algorithm for optimal difference systems of sets |
149
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
162
click to vote
SIBGRAPI
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a versatile, fast and simple framework to generate animations of scanned human characters from input optical motion capture data. Our method is purely meshbased and req...
151
Voted
IJCNLP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, a resolution system is presented to tackle nominal and pronominal anaphora in biomedical literature by using rich set of syntactic and semantic features. Unlike prev...
169
Voted
PARA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
124
click to vote
MSR
2010
ACM
15 years 10 months ago
2010
ACM
—In this paper, we explore the viability of mining the basic data provided in bug repositories to predict bug lifetimes. We follow the method of Lucas D. Panjer as described in h...