1192 search results - page 113 / 239 » Symbolic Query Exploration |
132
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
172
click to vote
CIVR
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
100
Voted
ANLP
1997
15 years 4 months ago
1997
A multilingual Internet-based employment advertisement system is described. Job ads are submitted as e-mailtexts, analysed by an example-based pattern matcher and stored in langua...
136
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper considers how to adapt geometric algorithms, developed for content-based music retrieval of symbolically encoded music, to be robust against time deformations ...
107
click to vote
CGF
2005
15 years 3 months ago
2005
Semanticons can enhance the representation of files by offering symbols that are both meaningful and easily distinguishable. The semantics of a file is estimated by parsing its na...