2624 search results - page 77 / 525 » The 2LIP model and its implementations |
223
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
144
click to vote
TGC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
179
click to vote
ACL
2011
14 years 9 months ago
2011
We present a novel model to represent and assess the discourse coherence of text. Our model assumes that coherent text implicitly favors certain types of discourse relation transi...
140
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
Developing a visually convincing model of fire, smoke, and other gaseousphenomenais among the most difficult and attractive problems in computer graphics. We have created new me...
197
click to vote
EUROCAST
1997
Springer
15 years 10 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...