27827 search results - page 5239 / 5566 » Generating |
148
click to vote
CASCON
2007
15 years 5 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
127
Voted
DIMVA
2010
15 years 5 months ago
2010
Abstract. In order to obtain and maintain control, kernel malware usually makes persistent control flow modifications (i.e., installing hooks). To avoid detection, malware develope...
157
Voted
EDM
2010
15 years 5 months ago
2010
It is argued that the analysis of the learner's generated log files during interactions with a learning environment is necessary to produce interpretative views of their activ...
133
click to vote
CIMAGING
2008
15 years 5 months ago
2008
In the past decade, information theory has been studied extensively in computational imaging. In particular, image matching by maximizing mutual information has been shown to yiel...
128
Voted
HVEI
2010
15 years 5 months ago
2010
An objective quality estimator for either still images or video should accurately estimate the perceived quality scores of a collection of stimuli. New applications and processing...