Sciweavers

3390 search results - page 545 / 678
» Automatic Location of Services
Sort
View
SAC
1994
ACM
14 years 2 months ago
Using persistence technology to control schema evolution
Traditional database technology may be extended by taking advantage of the facilities of an integrated persistent programming environment. This paper focuses on how such an enviro...
Richard C. H. Connor, Quintin I. Cutts, Graham N. ...
ITP
2010
140views Mathematics» more  ITP 2010»
14 years 2 months ago
Case-Analysis for Rippling and Inductive Proof
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
Moa Johansson, Lucas Dixon, Alan Bundy
IBPRIA
2007
Springer
14 years 2 months ago
A Simple But Effective Approach to Speaker Tracking in Broadcast News
The automatic transcription of broadcast news and meetings involves the segmentation, identification and tracking of speaker turns during each session, which is known as speaker di...
Luis Javier Rodríguez, Mikel Peñagar...
APCHI
2004
IEEE
14 years 1 months ago
Supporting Work Activities in Healthcare by Mobile Electronic Patient Records
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...
Jesper Kjeldskov, Mikael B. Skov
AMDO
2006
Springer
14 years 1 months ago
Acquisition of Articulated Human Body Models Using Multiple Cameras
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...
Aravind Sundaresan, Rama Chellappa