5550 search results - page 842 / 1110 » Different Approaches to Proof Systems |
181
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—This paper describes a mechanism allowing nodes to hand-off active connections by utilizing connection splicing at an edge-switch serving as a gateway to a server cluster. The m...
201
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
The demand for real-time database services has been increasing recently. Examples include sensor data fusion, stock trading, decision support, web information services, and data-i...
204
click to vote
LION
2010
Springer
15 years 11 months ago
2010
Springer
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
158
click to vote
AVBPA
2001
Springer
15 years 11 months ago
2001
Springer
We present an approach for visual discrimination of children from adults in video using characteristic regularities present in their locomotion patterns. The framework employs comp...
186
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
In some retrieval situations, a system must search across multiple collections. This task, referred to as federated search, occurs for example when searching a distributed index o...