Sciweavers

15840 search results - page 2575 / 3168
» The Control of Synchronous Systems
Sort
View
APWEB
2006
Springer
15 years 11 months ago
Efficient Dynamic Traffic Navigation with Hierarchical Aggregation Tree
Nowadays, the rapid advances in wireless communications, positioning techniques and mobile devices enable location based service such as dynamic traffic navigation. Yet, it is a ch...
Yun Bai, Yanyan Guo, Xiaofeng Meng, Tao Wan, Karin...
194
Voted
APWEB
2006
Springer
15 years 11 months ago
Named Graphs as a Mechanism for Reasoning About Provenance
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
E. Rowland Watkins, Denis A. Nicole
188
Voted
CGI
2004
IEEE
15 years 11 months ago
Depicting Shape Features with Directional Strokes and Spotlighting
This paper presents a new algorithm and technique for rendering triangular surfaces in pen-and-ink edge-based strokes. Our technique integrates two very important illustration str...
Mario Costa Sousa, Faramarz F. Samavati, Meru Brun...
205
Voted
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
15 years 11 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...
184
Voted
COMPSAC
2004
IEEE
15 years 11 months ago
Protein Functional Motion Query and Visualization
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
Xiong Liu, Hassan A. Karimi, Lee-Wei Yang, Ivet Ba...
« Prev « First page 2575 / 3168 Last » Next »