Sciweavers

832 search results - page 33 / 167
» Characteristic Patterns for LTL
Sort
View
BC
2000
88views more  BC 2000»
14 years 11 months ago
Legged insects select the optimal locomotor pattern based on the energetic cost
The gait transition in legged animals has attracted many researchers, and its relation to metabolic cost and mechanical work has been discussed in recent decades. We assumed that t...
Jun Nishii
PAMI
2007
220views more  PAMI 2007»
14 years 11 months ago
Automatic Age Estimation Based on Facial Aging Patterns
While recognition of most facial variations, such as identity, expression and gender, has been extensively studied, automatic age estimation has rarely been explored. In contrast ...
Xin Geng, Zhi-Hua Zhou, Kate Smith-Miles
ADAEUROPE
2010
Springer
14 years 10 months ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...
WWW
2008
ACM
16 years 15 days ago
SPARQL basic graph pattern optimization using selectivity estimation
In this paper, we formalize the problem of Basic Graph Pattern (BGP) optimization for SPARQL queries and main memory graph implementations of RDF data. We define and analyze the c...
Markus Stocker, Andy Seaborne, Abraham Bernstein, ...
EUROPAR
2003
Springer
15 years 5 months ago
Why Not Use a Pattern-Based Parallel Programming System?
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
John Anvik, Jonathan Schaeffer, Duane Szafron, Kai...