Sciweavers

2602 search results - page 210 / 521
» Semantic Analysis of 'to'
Sort
View
HT
1999
ACM
15 years 11 months ago
Trailblazing the Literature of Hypertext: Author Co-Citation Analysis (1989-1998)
This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...
Chaomei Chen, Les Carr
ESOP
2000
Springer
15 years 10 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
MIE
2008
137views Healthcare» more  MIE 2008»
15 years 8 months ago
Analysis of EHRs for research, quality management and health politics
Lifelong electronic health records can supply valuable information for research, quality management and health politics in addition to supporting treatment of patients. Based on ex...
Walter Gall, Wilfried Grossmann, Georg Duftschmid,...
COMPSYSTECH
2010
15 years 5 months ago
Anthropocentric video analysis for film and games postproduction
: The interest of the scientific community for anthropocentric (human-centered) video analysis stems from the fact that the extracted information (e.g. human presence, identity, bo...
Ioannis Pitas, Nikolaos Nikolaidis
CAV
2007
Springer
112views Hardware» more  CAV 2007»
16 years 23 days ago
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
Ahmed Bouajjani, Séverine Fratani, Shaz Qad...