Sciweavers

12487 search results - page 249 / 2498
» Graspable Work Modeling
Sort
View
MMS
2008
15 years 4 months ago
Process modeling for new media artworks
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...
Brigitte Kerhervé, Olivier Gerbé, Pa...
CLEIEJ
2004
94views more  CLEIEJ 2004»
15 years 4 months ago
An ontology-based technique for the specification of domain and user models in multi-agent domain
Because of its facilities for the generalization and specialization of concepts and the unambiguous terminology they provide, ontologies are being used for the representation of re...
Rosario Girardi, Carla Gomes de Faria
CORR
2010
Springer
119views Education» more  CORR 2010»
15 years 3 months ago
Computational Complexity of Avalanches in the Kadanoff two-dimensional Sandpile Model
In this paper we prove that the avalanche problem for the Kadanoff sandpile model (KSPM) is P-complete for two-dimensions. Our proof is based on a reduction from the monotone circ...
Eric Goles Chacc, Bruno Martin
CORR
2010
Springer
171views Education» more  CORR 2010»
15 years 3 months ago
Graphical Models Concepts in Compressed Sensing
This paper surveys recent work in applying ideas from graphical models and message passing algorithms to solve large scale regularized regression problems. In particular, the focu...
Andrea Montanari
LPAR
2010
Springer
15 years 2 months ago
Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
Jasmin Christian Blanchette, Koen Claessen