Sciweavers

21490 search results - page 4132 / 4298
» Business Process Modeling
Sort
View
ATAL
2010
Springer
13 years 11 months ago
Adaptive expressiveness: virtual conversational agents that can align to their interaction partner
Speakers in dialogue tend to adapt to each other by starting to use similar lexical items, syntactic structures, or gestures. This behaviour, called alignment, may serve important...
Hendrik Buschmeier, Kirsten Bergmann, Stefan Kopp
CSL
2010
Springer
13 years 11 months ago
From Feasible Proofs to Feasible Computations
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
Jan Krajícek
HPDC
2010
IEEE
13 years 11 months ago
Data parallelism in bioinformatics workflows using Hydra
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...
Fábio Coutinho, Eduardo S. Ogasawara, Danie...
MM
2010
ACM
210views Multimedia» more  MM 2010»
13 years 10 months ago
Increasing interactivity in street view web navigation systems
This paper presents some interactive features we have added on our street-view web navigation application. Our system allows to navigate through a huge amount of data (panoramas a...
Alexandre Devaux, Nicolas Paparoditis
MM
2010
ACM
238views Multimedia» more  MM 2010»
13 years 10 months ago
Supervised manifold learning for image and video classification
This paper presents a supervised manifold learning model for dimensionality reduction in image and video classification tasks. Unlike most manifold learning models that emphasize ...
Yang Liu, Yan Liu, Keith C. C. Chan
« Prev « First page 4132 / 4298 Last » Next »