Sciweavers

2765 search results - page 197 / 553
» Works and representation
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
Discriminative Subsequence Mining for Action Classification
Recent approaches to action classification in videos have used sparse spatio-temporal words encoding local appearance around interesting movements. Most of these approaches use a ...
Sebastian Nowozin, Gökhan H. Bakir, Koji Tsud...
178
Voted
AE
2003
Springer
16 years 3 days ago
From Royal Road to Epistatic Road for Variable Length Evolution Algorithm
Although there are some real world applications where the use of variable length representation (VLR) in Evolutionary Algorithm is natural and suitable, an academic framework is la...
Michael Defoin-Platel, Sébastien Vér...
ATVA
2007
Springer
150views Hardware» more  ATVA 2007»
15 years 11 months ago
3-Valued Circuit SAT for STE with Automatic Refinement
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
Orna Grumberg, Assaf Schuster, Avi Yadgar
190
Voted
KES
2010
Springer
15 years 4 months ago
Adaptive Modelling of Users' Strategies in Exploratory Learning Using Case-Based Reasoning
Abstract. In exploratory learning environments, learners can use different strategies to solve a problem. To the designer or teacher, however, not all these strategies are known in...
Mihaela Cocea, Sergio Gutiérrez Santos, Geo...
147
Voted
CSCW
2006
ACM
16 years 25 days ago
The uses of paper in commercial airline flight operations
Designers of commercial aviation flight decks have recently begun to consider ways to reduce or eliminate the use of paper documents in flight operations. Using ethnographic metho...
Saeko Nomura, Edwin Hutchins, Barbara E. Holder