725 search results - page 65 / 145 » Overview of TREC 2007 |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
CCGRID
2007
IEEE
14 years 4 months ago
2007
IEEE
Massively Multiplayer Online Games have become increasingly popular. However, their operation is costly, as game servers must be maintained. To reduce these costs, we aim at provi...
DEXAW
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we give an overview of methods to find representations of ontology defined concepts in texts. We distinguish two approaches: lexicon-based methods and approaches u...
FGCN
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Wireless mesh networks have the potential to provide ubiquitous high-speed Internet at low costs. The good news is that initial deployments of WiFi meshes show the feas...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...