4074 search results - page 217 / 815 » Defining Computational Aesthetics |
109
Voted
ECSA
2010
Springer
15 years 27 days ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
119
click to vote
CORR
2010
Springer
15 years 24 days ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
83
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
We present a simple dynamic equilibrium model for an online exchange where both buyers and sellers arrive according to a exogenously defined stochastic process. The structure of t...
114
Voted
GRID
2006
Springer
15 years 21 days ago
2006
Springer
Abstract-- Sharing data among collaborators in widely distributed systems remains a challenge due to limitations with existing methods for defining groups across administrative dom...
114
click to vote
JMIV
2008
15 years 20 days ago
2008
Tomography is a powerful technique to obtain accurate images of the interior of an object in a nondestructive way. Conventional reconstruction algorithms, such as filtered backproj...