Sciweavers

331 search results - page 48 / 67
» HOLCF: Higher Order Logic of Computable Functions
Sort
View
135
Voted
IJNSEC
2011
167views more  IJNSEC 2011»
14 years 7 months ago
New Real Time Multicast Authentication Protocol
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
Riham Abdellatif, Heba Kamal Aslan, Salwa H. Elram...
96
Voted
CGF
2004
74views more  CGF 2004»
15 years 10 days ago
VOTS: VOlume doTS as a Point-Based Representation of Volumetric Data
We present Volume dots (Vots), a new primitive for volumetric data modelling, processing, and rendering. Vots are a point-based representation of volumetric data. An individual Vo...
Sören Grimm, Stefan Bruckner, Armin Kanitsar,...
87
Voted
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
15 years 6 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
104
Voted
ICPR
2002
IEEE
15 years 5 months ago
Feasibility of Hough-Transform-Based Iris Localisation for Real-Time-Application
We present a fast method for locating iris features in frontal face images based on the Hough transform. It consists of an initial iris detection step and a tracking step which us...
Klaus D. Tönnies, Frank Behrens, Melanie Aurn...
93
Voted
LREC
2010
153views Education» more  LREC 2010»
15 years 1 months ago
Developing a Deep Linguistic Databank Supporting a Collection of Treebanks: the CINTIL DeepGramBank
Corpora of sentences annotated with grammatical information have been deployed by extending the basic lexical and morphological data with increasingly complex information, such as...
António Branco, Francisco Costa, Joã...