808 search results - page 111 / 162 » What Is Answer Set Programming |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Given linear matrix inequalities (LMIs) L1 and L2 in the same number of variables it is natural to ask: (Q1) does one dominate the other, that is, does L1(X) 0 imply L2(X) 0? (Q2) ...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Uploading tourist photos is a popular activity on photo sharing platforms. These photographs and their associated metadata (tags, geo-tags, and temporal information) should be use...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
In this work we ask the question: what are the challenges of managing a physical or file system access-control policy for a large organization? To answer the question, we conducte...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Many aspects of the data integration problem have been considered in the literature: how to match schemas across different data sources, how to decide when different records refer...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— In legged systems design an important question applies to: "What can be inferred from the performance of a legged robot of a similarly configured system, but scaled to a s...