Sciweavers

7694 search results - page 1390 / 1539
» An Implementation of an Applicative File System
Sort
View
133
Voted
IOT
2010
15 years 1 months ago
BIT - A framework and architecture for providing digital services for physical products
Abstract--Mobile phones are increasingly able to read autoid labels, such as barcodes or RFID tags. As virtually all consumer products sold today are equipped with such a label, th...
Christof Roduner, Marc Langheinrich
150
Voted
KI
2010
Springer
15 years 1 months ago
Local Adaptive Extraction of References
Abstract. The accurate extraction of scholarly reference information from scientific publications is essential for many useful applications like BIBTEX management systems or citati...
Peter Klügl, Andreas Hotho, Frank Puppe
150
Voted
PIMRC
2010
IEEE
15 years 1 months ago
Energy-delay tradeoff analysis in embedded M2M networks with channel coding
Abstract--Machine-to-Machine (M2M), an emerging communications paradigm, is a facilitator of data flows between machines used, e.g., in mission-critical applications. Focusing in t...
Tatjana Predojev, Jesus Alonso-Zarate, Mischa Dohl...
138
Voted
FUIN
2010
103views more  FUIN 2010»
15 years 1 months ago
Automation for Dependently Typed Functional Programming
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
Sean Wilson, Jacques D. Fleuriot, Alan Smaill
COLING
2010
14 years 10 months ago
Informed ways of improving data-driven dependency parsing for German
We investigate a series of targeted modifications to a data-driven dependency parser of German and show that these can be highly effective even for a relatively well studied langu...
Wolfgang Seeker, Bernd Bohnet, Lilja Øvreli...
« Prev « First page 1390 / 1539 Last » Next »