Sciweavers

16702 search results - page 449 / 3341
» Server operating systems
Sort
View
SERVICES
2008
103views more  SERVICES 2008»
15 years 8 months ago
Grouping Distributed Stream Query Services by Operator Similarity and Network Locality
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...
Sangeetha Seshadri, Bhuvan Bamba, Brian F. Cooper,...
IAT
2005
IEEE
16 years 14 days ago
Optimizing Agents Operation in Partially Inaccessible and Disruptive Environment
The algorithm we present in this paper aims to optimally distribute and connect the community of loosely coupled middle agents ensuring communication accessibility in a dynamic, i...
David Sislák, Martin Rehák, Michal P...
151
Voted
UIST
1998
ACM
15 years 11 months ago
Integrating Pen Operations for Composition by Example
We propose a new pen-based text input method, which is an integration of software keyboards, handwriting recognition, and marking menus. With our method, a user selects a word fro...
Toshiyuki Masui
MVA
2007
146views Computer Vision» more  MVA 2007»
15 years 8 months ago
An Iris Image Quality Assessment Method Based on Laplacian of Gaussian Operation
Iris image quality assessment is an important part of iris recognition system because the qualities of iris images would largely influence the recognition results. In this paper, ...
Jing Wan, XiaoFu He, Pengfei Shi
187
Voted
ENTCS
2008
136views more  ENTCS 2008»
15 years 7 months ago
Multimodal Separation Logic for Reasoning About Operational Semantics
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
Robert Dockins, Andrew W. Appel, Aquinas Hobor