Sciweavers

3116 search results - page 296 / 624
» Positively dependent types
Sort
View
ICIP
2009
IEEE
16 years 7 months ago
Studying The Added Value Of Visual Attention In Objective Image Quality Metrics Based On Eye Movement Data
Current research on image quality assessment tends to include visual attention in objective metrics to further enhance their performance. A variety of computational models of visu...
WWW
2009
ACM
16 years 7 months ago
Towards language-independent web genre detection
The term web genre denotes the type of a given web resource, in contrast to the topic of its content. In this research, we focus on recognizing the web genres blog, wiki and forum...
Philipp Scholl, Renato Domínguez Garc&iacut...
POPL
2002
ACM
16 years 7 months ago
Role analysis
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
Viktor Kuncak, Patrick Lam, Martin C. Rinard
159
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
Jennifer Z. Guan, Luqi
165
Voted
ESOP
2010
Springer
16 years 4 months ago
Enforcing Stateful Authorization and Information Flow Policies in Fine
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
Nikhil Swamy, Juan Chen and Ravi Chugh