2296 search results - page 380 / 460 » The Expressive Power of Synchronizations |
129
click to vote
VLDB
1995
ACM
15 years 8 months ago
1995
ACM
We present a shape definition language, called SDC, for retrieving objects based on shapes contained in the histories associated with these objects. It is a small, yet powerful, l...
148
click to vote
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
180
click to vote
CVPR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper general solutions for Nonlinear Nonnegative Component Analysis for data representation and recognition are proposed. That is, motivated by a combination of the Nonne...
148
click to vote
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
The widespread use of mobile appliances, with limitations in terms of storage, power, and connectivity capability, requires to minimize the amount of data to be loaded on user’s...
146
click to vote
FLAIRS
2008
15 years 6 months ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...