Sciweavers

4985 search results - page 804 / 997
» Observation of String-Rewriting Systems
Sort
View
DAC
2010
ACM
15 years 9 months ago
Electronic design automation for social networks
Online social networks are a growing internet phenomenon: they connect millions of individuals through sharing of common interests, political and religious views, careers, etc. So...
Andrew DeOrio, Valeria Bertacco
ESOP
2010
Springer
15 years 9 months ago
A Semantic Framework for Declassification and Endorsement
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
Aslan Askarov, Andrew Myers
GECCO
2010
Springer
141views Optimization» more  GECCO 2010»
15 years 9 months ago
Today/future importance analysis
SBSE techniques have been widely applied to requirements selection and prioritization problems in order to ascertain a suitable set of requirements for the next release of a syste...
Yuanyuan Zhang, Enrique Alba, Juan J. Durillo, Sig...
CVPR
2010
IEEE
15 years 9 months ago
Real-time Tracking of Multiple Occluding Objects using Level Sets
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
Charles Bibby, Ian Reid
DEBS
2010
ACM
15 years 8 months ago
Complex event processing synergies with predictive analytics
For Complex Event Processing (CEP), the synergy with Predictive Analytics (PA) is a promising research direction. In this paper we focus on the inclusion of PA technologies into C...
Gabriella Toth, Lajos Jeno Fülöp, L&aacu...