2519 search results - page 234 / 504 » Reasoning with Textual Cases |
200
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
Combination of theories underlies the design of satisfiability modulo theories (SMT) solvers. The Nelson-Oppen framework can be used to build a decision procedure for the combinat...
196
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The binary form of an image does not tell what the image is about. It is possible to retrieve images from a database using pattern matching techniques, but usually textual descript...
176
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Currently a large number of Web sites are driven by Content Management Systems (CMS) which manage textual and multimedia content but also inherently - carry valuable info...
165
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
Users’ search needs are often represented by words and images are retrieved according to such textual queries. Annotation words assigned to the stored images are most useful to ...
176
click to vote
KDD
2004
ACM
16 years 1 hour ago
2004
ACM
Part numbers are widely used within an enterprise throughout the manufacturing process. The point of entry of such part numbers into this process is normally via a Bill of Materia...