Sciweavers

194 search results - page 14 / 39
» Connectivity in frame matroids
Sort
View
ECOOP
2003
Springer
14 years 15 days ago
Modeling Crosscutting in Aspect-Oriented Mechanisms
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
Hidehiko Masuhara, Gregor Kiczales
BIRTHDAY
2010
Springer
13 years 4 months ago
Strict Canonical Constructive Systems
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
Arnon Avron, Ori Lahav
EXACT
2007
13 years 9 months ago
Designing Explanation Aware Systems: The Quest for Explanation Patterns
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
Jörg Cassens, Anders Kofod-Petersen
ICMCS
2009
IEEE
168views Multimedia» more  ICMCS 2009»
13 years 5 months ago
Human activity recognition based on the blob features
In this paper, we present a novel approach for human activities recognition in the video. We analyze human activities in the sequential frames because human activities can be cons...
Jie Yang, Jian Cheng, Hanqing Lu
FCCM
2004
IEEE
102views VLSI» more  FCCM 2004»
13 years 11 months ago
Smart Camera Based on Reconfigurable Hardware Enables Diverse Real-Time Applications
We demonstrate the use of a "smart camera" to accelerate two very different image processing applications. The smart camera consists of a high quality video camera and f...
Miriam Leeser, Shawn Miller, Haiqian Yu