3013 search results - page 112 / 603 » Context-Oriented Domain Analysis |
159
click to vote
CSFW
2009
IEEE
15 years 10 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...
180
click to vote
DSD
2004
IEEE
15 years 10 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...
188
click to vote
ICIP
2007
IEEE
15 years 6 months 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...
165
click to vote
IVS
2008
15 years 6 months 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...
170
click to vote
CSL
2009
Springer
16 years 28 days 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...