Sciweavers

2446 search results - page 260 / 490
» Principles of dataspace systems
Sort
View
124
Voted
MVA
1992
15 years 6 months ago
High Speed Autofocus for Microscopic Images
2 Computational Theory The processing of biological specimens or the 2.1 Overview examination of material surfaces for quality control requires a fast and precise autofocus system....
J. E. Fischer, D. Homeister, J. Lehmler, G. Roos
180
Voted
CRITIS
2009
15 years 6 months ago
Energy Theft in the Advanced Metering Infrastructure
Abstract. Global energy generation and delivery systems are transitioning to a new computerized "smart grid". One of the principle components of the smart grid is an adva...
Stephen E. McLaughlin, Dmitry Podkuiko, Patrick Mc...
159
Voted
SIGIR
2010
ACM
15 years 5 months ago
Scalability of findability: effective and efficient IR operations in large information networks
It is crucial to study basic principles that support adaptive and scalable retrieval functions in large networked environments such as the Web, where information is distributed am...
Weimao Ke, Javed Mostafa
136
Voted
AIL
2004
113views more  AIL 2004»
15 years 5 months ago
On the Ontological Status of Plans and Norms
This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system a...
Guido Boella, Leonardo Lesmo, Rossana Damiano
104
Voted
JAR
2002
82views more  JAR 2002»
15 years 4 months ago
A Compendium of Continuous Lattices in MIZAR
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
Grzegorz Bancerek, Piotr Rudnicki