Sciweavers

8636 search results - page 1274 / 1728
» How Developers Copy
Sort
View
CLEF
2004
Springer
15 years 11 months ago
MSU at ImageCLEF: Cross Language and Interactive Image Retrieval
Abstract. In this report, we describe our studies with cross language and interactive image retrieval in ImageCLEF 2004. Typical cross language retrieval requires special linguisti...
Vineet Bansal, Chen Zhang, Joyce Y. Chai, Rong Jin
CSCLP
2004
Springer
15 years 11 months ago
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...
Adrian Petcu, Boi Faltings
CSL
2004
Springer
15 years 11 months ago
A Dependent Type Theory with Names and Binding
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
Ulrich Schöpp, Ian Stark
DAWAK
2004
Springer
15 years 11 months ago
Inductive Databases as Ranking
Abstract. Most of the research in data mining has been focused on developing novel algorithms for specific data mining tasks. However, finding the theoretical foundations of data...
Taneli Mielikäinen
DBISP2P
2004
Springer
131views Database» more  DBISP2P 2004»
15 years 11 months ago
Dissemination of Spatial-Temporal Information in Mobile Networks with Hotspots
In this paper we examine the dissemination of reports about resources in mobile networks with hotspots, where hotspots, vehicles and sensors communicate with each other via short-r...
Ouri Wolfson, Bo Xu, Huabei Yin
« Prev « First page 1274 / 1728 Last » Next »