9145 search results - page 271 / 1829 » Description Logic Systems |
175
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
In order to store, and retrieve images from large databases, we propose a framework, based on multiple description coding paradigm, that disseminates images over distributed serve...
203
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
182
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
137
click to vote
AAAI
2006
15 years 8 months ago
2006
With the proliferation of online classifieds and auctions comes a new need to meaningfully search and organize the items for sale. However, since the seller's item descriptio...
192
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...