Sciweavers

2293 search results - page 266 / 459
» Temporal Logic in Information Systems
Sort
View
CCE
2006
15 years 6 months ago
New approaches for representing, analyzing and visualizing complex kinetic transformations
Complex kinetic mechanisms involving thousands of reacting species and tens of thousands of reactions are currently required for the rational analysis of modern combustion systems...
Ioannis P. Androulakis
MMM
2012
Springer
289views Multimedia» more  MMM 2012»
14 years 2 months ago
Content-Based Video Description for Automatic Video Genre Categorization
In this paper, we propose an audio-visual approach to video genre categorization. Audio information is extracted at block-level, which has the advantage of capturing local temporal...
Bogdan Ionescu, Klaus Seyerlehner, Christoph Rasch...
201
Voted
HASE
1997
IEEE
15 years 10 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
FSKD
2005
Springer
128views Fuzzy Logic» more  FSKD 2005»
16 years 4 days ago
Automatic Creation of Links: An Approach Based on Decision Tree
With the dramatic development of web technologies, tremendous amount of information become available to users. The great advantages of the web are the ease with which information c...
Peng Li, Seiji Yamada
CSFW
2005
IEEE
16 years 7 days ago
Game-Based Analysis of Denial-of-Service Prevention Protocols
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
Ajay Mahimkar, Vitaly Shmatikov