7991 search results - page 498 / 1599 » Using More Reasoning to Improve |
204
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
241
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
Role-based access control is a standard mechanism in information systems. Based on the role a user has, certain information is kept from the user even if requested. For ontologies ...
189
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
To control complicated and decomposable networking functions, such as Diffserv, two or more policies must cooperate. Combining two or more mutually dependent policies for a specifi...
194
Voted
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: We present a method for representing, communicating, and fusing distributed, noisy, and uncertain observations of an object by multiple robots. The approach relies on re-paramete...
241
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
We propose structured models for image labeling that take into account the dependencies among the image labels explicitly. These models are more expressive than independent label ...