Sciweavers

221 search results - page 19 / 45
» The Concurrent, Continuous FLUX
Sort
View
TCAD
1998
95views more  TCAD 1998»
13 years 7 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
ICDM
2010
IEEE
189views Data Mining» more  ICDM 2010»
13 years 5 months ago
S4: Distributed Stream Computing Platform
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...
Leonardo Neumeyer, Bruce Robbins, Anish Nair, Anan...
ICIP
2005
IEEE
14 years 9 months ago
Optimizing of searching co-motion point-pairs for statistical camera calibration
In the paper we introduce an algorithm for matching partially overlapping image-pairs where the object of interest is in motion, even if the motion is discontinuous and in an unstr...
Csaba Benedek, Laszlo Havasi, Tamás Szir&aa...
MMM
2006
Springer
107views Multimedia» more  MMM 2006»
14 years 1 months ago
History-based visual mining of semi-structured audio and text
Accessing specific or salient parts of multimedia recordings remains a challenge as there is no obvious way of structuring and representing a mix of space-based and timebased med...
Matt-Mouley Bouamrane, Saturnino Luz, Masood Masoo...
ICLP
2010
Springer
13 years 11 months ago
Logic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
Neda Saeedloei