16216 search results - page 302 / 3244 » Effective Modeling with Constraints |
172
click to vote
TCS
2008
15 years 6 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
194
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Common visual codebook generation methods used in
a Bag of Visual words model, e.g. k-means or Gaussian
Mixture Model, use the Euclidean distance to cluster features
into visual...
184
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Web applications are growing in demand, complexity and size, thus making it difficult to systematically design and maintain general web applications. To aid in fulfilling these di...
176
click to vote
MOBIHOC
2001
ACM
16 years 6 months ago
2001
ACM
This paper presents 7DS, a novel peer-to-peer data sharing system. 7DS is an architecture, a set of protocols and an implementation enabling the exchange of data among peers that ...
159
Voted
EUROGRAPHICS
2010
Eurographics
16 years 3 months ago
2010
Eurographics
Ray–based representations can model complex light transport but are limited in modeling diffraction effects that require the simulation of wavefront propagation. This paper prov...