Sciweavers

2934 search results - page 218 / 587
» Universality in Multi-Agent Systems
Sort
View
ICSM
1999
IEEE
15 years 10 months ago
Assembler to C Migration Using the FermaT Transformation System
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
Martin P. Ward
IDEAS
1997
IEEE
107views Database» more  IDEAS 1997»
15 years 10 months ago
Query Processing in the ROL system
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
Mengchi Liu, Weidong Yu
COST
2009
Springer
205views Multimedia» more  COST 2009»
15 years 10 months ago
Ergodic HMM-UBM System for On-Line Signature Verification
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
Enrique Argones-Rúa, David Pérez-Pi&...
CBMS
1995
IEEE
15 years 10 months ago
Design and Implementation of a Digital Teleultrasound System for Real-Time Remote Diagnosis
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
John W. Sublett, Bert J. Dempsey, Alfred C. Weaver
TREC
2003
15 years 7 months ago
QED: The Edinburgh TREC-2003 Question Answering System
This report describes a new open-domain answer retrieval system developed at the University of Edinburgh and gives results for the TREC-12 question answering track. Phrasal answer...
Jochen L. Leidner, Johan Bos, Tiphaine Dalmas, Jam...