Sciweavers

934 search results - page 95 / 187
» context 2003
Sort
View
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
14 years 3 months ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
ILP
2003
Springer
14 years 3 months ago
Query Optimization in Inductive Logic Programming by Reordering Literals
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
Jan Struyf, Hendrik Blockeel
IPSN
2003
Springer
14 years 3 months ago
A Performance Evaluation of Intrusion-Tolerant Routing in Wireless Sensor Networks
Abstract. This paper evaluates the performance of INSENS, an INtrusion-tolerant routing protocol for wireless SEnsor Networks. Security in sensor networks is important in battlefi...
Jing Deng, Richard Han, Shivakant Mishra
IS4TH
2003
Springer
14 years 3 months ago
Real-Time Simulation of Self-collisions for Virtual Intestinal Surgery
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...
Laks Raghupathi, Vincent Cantin, François F...
ISCIS
2003
Springer
14 years 3 months ago
Similarity for Conceptual Querying
Abstract. The focus of this paper is approaches to measuring similarity for application in content-based query evaluation. Rather than only comparing at the level of words, the iss...
Troels Andreasen, Henrik Bulskov, Rasmus Knappe