3013 search results - page 112 / 603 » Context-Oriented Domain Analysis |
105
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
119
Voted
DSD
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we present an analysis of the minimal hardware precision required to implement Support Vector Machine (SVM) classification within a Logarithmic Number System archite...
132
click to vote
ICIP
2007
IEEE
15 years 27 days ago
2007
IEEE
In this paper, we formulate the utility functions of distortion and Peak Signal-to-Noise Ratio (PSNR) which are generally used for the performance evaluation of video coding appli...
102
Voted
IVS
2008
15 years 22 days ago
2008
Advances in interactive systems and the ability to manage increasing amounts of high-dimensional data provide new opportunities in numerous domains. Information visualization tech...
97
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...