Sciweavers

3653 search results - page 167 / 731
» Analyzing language development from a network approach
Sort
View
JUCS
2008
118views more  JUCS 2008»
15 years 6 months ago
Controlling Aspect Reentrancy
: Aspect languages provide different mechanisms to control when an aspect should apply based on properties of the execution context. They however fail to explicitly identify and cl...
Éric Tanter
210
Voted
CAV
2007
Springer
227views Hardware» more  CAV 2007»
15 years 10 months ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
173
Voted
ICIP
2010
IEEE
15 years 3 months ago
Implicit Motion-Shape Model: A generic approach for action matching
We develop a robust technique to find similar matches of human actions in video. Given a query video, Motion History Images (MHI) are constructed for consecutive keyframes. This i...
Tuan Hue Thi, Li Cheng, Jian Zhang, Li Wang
AIEDAM
2007
105views more  AIEDAM 2007»
15 years 6 months ago
Biomimetic design through natural language analysis to facilitate cross-domain information retrieval
Biomimetic, or biologically inspired, design uses analogous biological phenomena to develop solutions for engineering problems. Several instances of biomimetic design result from ...
Ivey Chiu, L. H. Shu
167
Voted
BMCBI
2011
15 years 1 months ago
Support vector machines-based identification of alternative splicing in Arabidopsis thaliana from whole-genome tiling arrays
Background: Alternative splicing (AS) is a process which generates several distinct mRNA isoforms from the same gene by splicing different portions out of the precursor transcript...
Johannes Eichner, Georg Zeller, Sascha Laubinger, ...