Sciweavers

455 search results - page 83 / 91
» The Linear Logical Abstract Machine
Sort
View
BIRTHDAY
1994
Springer
14 years 1 months ago
Generalizing Cook's Transformation to Imperative Stack Programs
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
Nils Andersen, Neil D. Jones
ICCS
2007
Springer
14 years 1 months ago
Multi-level Coupling of Dynamic Data-Driven Experimentation with Material Identification
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
John Michopoulos, Tomonari Furukawa
ADMA
2006
Springer
110views Data Mining» more  ADMA 2006»
14 years 1 months ago
Learning with Local Drift Detection
Abstract. Most of the work in Machine Learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
João Gama, Gladys Castillo
AUSAI
2008
Springer
13 years 11 months ago
Additive Regression Applied to a Large-Scale Collaborative Filtering Problem
Abstract. The much-publicized Netflix competition has put the spotlight on the application domain of collaborative filtering and has sparked interest in machine learning algorithms...
Eibe Frank, Mark Hall
JRTIP
2008
300views more  JRTIP 2008»
13 years 9 months ago
Real-time human action recognition on an embedded, reconfigurable video processing architecture
Abstract In recent years, automatic human action recognition has been widely researched within the computer vision and image processing communities. Here we propose a realtime, emb...
Hongying Meng, Michael Freeman, Nick Pears, Chris ...