Sciweavers

12981 search results - page 2115 / 2597
» Model Checking (Abstract)
Sort
View
236
Voted
ACCV
2010
Springer
15 years 2 months ago
An Unsupervised Framework for Action Recognition Using Actemes
Abstract. In speech recognition, phonemes have demonstrated their efficacy to model the words of a language. While they are well defined for languages, their extension to human act...
Kaustubh Kulkarni, Edmond Boyer, Radu Horaud, Amit...
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 2 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
ACCV
2010
Springer
15 years 2 months ago
Change Detection for Temporal Texture in the Fourier Domain
Abstract. Research on temporal textures has concerned mainly modeling, synthesis and detection, but not finding changes between different temporal textures. Shot change detection, ...
Alexia Briassouli, Ioannis Kompatsiaris
292
Voted
COMPUTING
2011
15 years 2 months ago
Cloud computing for small research groups in computational science and engineering: current status and outlook
Abstract Cloud computing could offer good business models for small CSE (Computational Science and Engineering) research groups because these groups often do not have enough human ...
Hong Linh Truong, Schahram Dustdar
COMPUTING
2011
15 years 2 months ago
Private cloud for collaboration and e-Learning services: from IaaS to SaaS
Abstract The idea behind Cloud Computing is to deliver Infrastructure-, Platformand Software-as-a-Service (IaaS, PaaS and SaaS) over the Internet on an easy payper-use business mod...
Frank Dölitzscher, Anthony Sulistio, Christop...
« Prev « First page 2115 / 2597 Last » Next »