4867 search results - page 308 / 974 » Fluid Models in Performance Analysis |
190
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
This paper describes the development of a rule-based computational model that describes how a feature-based representation of shared visual information combines with linguistic cu...
162
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
160
Voted
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
Image-based rendering data sets, such as light fields, require efficient compression due to their large data size, but also easy random access when rendering from the data set. Ef...
165
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Generalized hidden Markov models (GHMMs) appear to be approaching acceptance as a de facto standard for state-of-the-art ab initio gene finding, as evidenced by the re...
197
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...