Sciweavers

2565 search results - page 312 / 513
» Object type constructors
Sort
View
ISSAC
2005
Springer
94views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Domains and expressions: an interface between two approaches to computer algebra
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
Cosmin E. Oancea, Stephen M. Watt
SPC
2005
Springer
15 years 11 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
CLEF
2004
Springer
15 years 11 months ago
Question Answering Pilot Task at CLEF 2004
A Pilot Question Answering Task has been activated in the Cross-Language Evaluation Forum 2004 with a twofold objective. In the first place, the evaluation of Question Answering ...
Jesús Herrera, Anselmo Peñas, Felisa...
DAS
2004
Springer
15 years 11 months ago
Word Grouping in Document Images Based on Voronoi Tessellation
Voronoi tessellation of image elements provides an intuitive and appealing definition of proximity, which has been suggested as an effective tool for the description of relations...
Yue Lu, Zhe Wang, Chew Lim Tan
EUSAI
2004
Springer
15 years 11 months ago
Super-distributed RFID Tag Infrastructures
Abstract. With the emerging mass production of very small, cheap Radio Frequency Identification (RFID) tags, it is becoming feasible to deploy such tags on a large scale. In this ...
Jürgen Bohn, Friedemann Mattern