Sciweavers

2468 search results - page 325 / 494
» Aggregation operators 2003
Sort
View
IPTPS
2003
Springer
14 years 2 months ago
Controlling the Cost of Reliability in Peer-to-Peer Overlays
Abstract—Structured peer-to-peer overlay networks provide a useful substrate for building distributed applications but there are general concerns over the cost of maintaining the...
Ratul Mahajan, Miguel Castro, Antony I. T. Rowstro...
ISCIS
2003
Springer
14 years 2 months ago
Comparison of New Simple Weighting Functions for Web Documents against Existing Methods
Abstract. Term weighting is one of the most important aspects of modern Web retrieval systems. The weight associated with a given term in a document shows the importance of the ter...
Byurhan Hyusein, Ahmed Patel, Ferad Zyulkyarov
ISCIS
2003
Springer
14 years 2 months ago
A Video Watermarking Algorithm Based on the Human Visual System Properties
Abstract. In this paper, we propose a new video watermarking algorithm based on the human visual system (HVS) properties to find effective locations in video sequences for robust ...
Ji-Young Moon, Yo-Sung Ho
CAV
1998
Springer
138views Hardware» more  CAV 1998»
14 years 1 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
ASP
2003
Springer
14 years 24 days ago
Answer Set Programming with Templates
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
Giovambattista Ianni, Giuseppe Ielpa, Adriana Piet...