6431 search results - page 963 / 1287 » Model Building by Resolution |
147
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
244
Voted
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
This paper introduces the Tuple Graph (TuG) synopses, a new class of data summaries that enable accurate selectivity estimates for complex relational queries. The proposed summari...
122
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...
132
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
The increasing popularity of social networks has initiated a fertile research area in information extraction and data mining. Although such analysis can facilitate better understan...
140
click to vote
PERCOM
2008
ACM
16 years 4 months ago
2008
ACM
In this paper, we describe an information agent, that resides on a mobile computer or personal digital assistant (PDA), that can autonomously acquire sensor readings from pervasiv...