1544 search results - page 279 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
102
click to vote
PRDC
2006
IEEE
15 years 5 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
110
click to vote
WWW
2002
ACM
16 years 13 days ago
2002
ACM
The structure of the web is increasingly being used to improve organization, search, and analysis of information on the web. For example, Google uses the text in citing documents ...
126
click to vote
SIGIR
2011
ACM
14 years 2 months ago
2011
ACM
Entities on social systems, such as users on Twitter, and images on Flickr, are at the core of many interesting applications: they can be ranked in search results, recommended to ...
117
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...