Sciweavers

606 search results - page 27 / 122
» Library Miniaturization Using Static and Dynamic Information
Sort
View
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
15 years 3 months ago
Automata-Based Confidentiality Monitoring
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jen...
CHI
1998
ACM
15 years 4 months ago
Hi-Cites: Dynamically Created Citations with Active Highlighting
The original SenseMaker interface for information exploration [2] used tables to present heterogeneous document descriptions. In contrast, printed bibliographies and World Wide We...
Michelle Q. Wang Baldonado, Terry Winograd
EGC
2005
Springer
15 years 5 months ago
Ticket-Based Grid Services Architecture for Dynamic Virtual Organizations
A Virtual Organization (VO) in the Grid is a collection of users and distributed resources, in which resources are shared by users. VOs are dynamically created for some goals and t...
Byung Joon Kim, Kyong Hoon Kim, Sung Je Hong, Jong...
ECAI
2004
Springer
15 years 5 months ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa
111
Voted
CVPR
2010
IEEE
15 years 8 months ago
Super-Resolution of Range Data in Dynamic Environments Using a Gaussian Framework
We present a flexible method for fusing information from optical and range sensors based on an accelerated highdimensional filtering approach. Our system takes as input a sequen...
Jennifer Dolson, Jongmin Baek, Christian Plagemann...