3317 search results - page 332 / 664 » Strategies in Rigid-Variable Methods |
167
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In peer-to-peer networks, finding the appropriate answer for an information request, such as the answer to a query for RDF(S) data, depends on selecting the right peer in the netw...
156
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Very large interactive wall displays do not lend themselves to use with traditional interaction modalities such as mice and keyboards. It is necessary that we develop new interact...
178
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Numerous applications of data mining to scientific data involve the induction of a classification model. In many cases, the collection of data is not performed with this task in m...
201
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Speech interfaces should have a capability of dealing with inexplicit utterances including such as ellipsis and deixis since they are common phenomena in our daily conversation. T...
134
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...