Sciweavers

4047 search results - page 554 / 810
» The Discrete Basis Problem
Sort
View
137
Voted
EUROMICRO
2007
IEEE
15 years 11 months ago
Partial Verification of Software Components: Heuristics for Environment Construction
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
Pavel Parizek, Frantisek Plasil
ICAC
2007
IEEE
15 years 11 months ago
Autonomic Reactive Systems via Online Learning
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
Sanjit A. Seshia
ICC
2007
IEEE
111views Communications» more  ICC 2007»
15 years 11 months ago
Security in All-Optical Networks: Self-Organization and Attack Avoidance
—While transparent WDM optical networks become more and more popular as the basis of the Next Generation Internet (NGI) infrastructure, such networks raise many unique security i...
Jae-Seung Yeom, Ozan K. Tonguz, Gerardo A. Casta&n...
AIHC
2007
Springer
15 years 11 months ago
Trajectory-Based Representation of Human Actions
This work addresses the problem of human action recognition by introducing a representation of a human action as a collection of short trajectories that are extracted in areas of ...
Antonios Oikonomopoulos, Ioannis Patras, Maja Pant...
ER
2007
Springer
123views Database» more  ER 2007»
15 years 11 months ago
Enriching OWL with Instance Recognition Semantics for Automated Semantic Annotation
Although OWL provides a solid basis for many semantic-web applications, it lacks sufficient declarative semantics for instance recognition. This omission prevents OWL from being a ...
Yihong Ding, David W. Embley, Stephen W. Liddle