Sciweavers

2949 search results - page 490 / 590
» Transformations in Information Supply
Sort
View
ILP
2004
Springer
15 years 11 months ago
Generalization Algorithms for Second-Order Terms
In this paper, we study the generalization algorithms for second-order terms, which are treated as first-order terms with function variables, under an instantiation order denoted ...
Kouichi Hirata, Takeshi Ogawa, Masateru Harao
ITRUST
2004
Springer
15 years 11 months ago
E-notebook Middleware for Accountability and Reputation Based Trust in Distributed Data Sharing Communities
This paper presents the design of a new middleware which provides support for trust and accountability in distributed data sharing communities. One application is in the context of...
Paul Ruth, Dongyan Xu, Bharat K. Bhargava, Fred Re...
MICCAI
2004
Springer
15 years 11 months ago
Immediate Ultrasound Calibration with Three Poses and Minimal Image Processing
Abstract. This paper introduces a novel method for ultrasound (US) probe calibration based on closed-form formulation and using minimal US imaging allowing for an immediate result....
Anand Viswanathan, Emad Boctor, Russell H. Taylor,...
NIME
2004
Springer
167views Music» more  NIME 2004»
15 years 11 months ago
Using an Expressive Performance Template in a Music Conducting Interface
This paper describes an approach for playing expressive music, as it refers to a pianist's expressiveness, with a tapping-style interface. MIDI-formatted expressive performan...
Haruhiro Katayose, Keita Okudaira
VLDB
2004
ACM
134views Database» more  VLDB 2004»
15 years 11 months ago
A Privacy-Preserving Index for Range Queries
Database outsourcing is an emerging data management paradigm which has the potential to transform the IT operations of corporations. In this paper we address privacy threats in da...
Bijit Hore, Sharad Mehrotra, Gene Tsudik