1589 search results - page 65 / 318 » Constraints with Variables' Annotations |
135
Voted
CC
2008
Springer
15 years 6 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
136
click to vote
AAAI
2007
15 years 6 months ago
2007
In a constraint optimization problem (COP), many feasible valuations lead to the same objective value. This often means a huge search space and poor performance in the propagation...
206
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Analyzing videos of human activities involves not only
recognizing actions (typically based on their appearances),
but also determining the story/plot of the video. The storyline...
139
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
A common task in biological research is to predict function for proteins by comparing sequences between proteins of known and unknown function. This is often done using pair-wise ...
142
Voted
KES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...