4211 search results - page 667 / 843 » Types as Abstract Interpretations |
136
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
143
click to vote
HRI
2010
ACM
15 years 11 months ago
2010
ACM
Abstract—Cooperative gestures are a key aspect of humanhuman pro-social interaction. Thus, it is reasonable to expect that endowing humanoid robots with the ability to use such g...
156
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
145
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
Binary semantic relation extraction from Wikipedia is particularly useful for various NLP and Web applications. Currently frequent pattern miningbased methods and syntactic analysi...
131
Voted
EVOW
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we investigate and compare four aesthetic measures within the context of evolutionary art. We evolve visual art with an unsupervised evolutionary art system...