Sciweavers

843 search results - page 2 / 169
» Codes and Projective Multisets
Sort
View
193
Voted
CAV
2009
Springer
133views Hardware» more  CAV 2009»
16 years 7 months ago
Cardinality Abstraction for Declarative Networking Applications
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
Andrey Rybalchenko, Atul Singh, Juan Antonio Navar...
191
Voted
IASSE
2004
15 years 8 months ago
The Bosco Project - A JMI-Compliant Template-based Code Generator
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
Pascal André, Gilles Ardourel, Gerson Suny&...
455
Voted
CVPR
2012
IEEE
14 years 20 days ago
Foreground Detection Using Spatiotemporal Projection Kernels
Foreground detection is at the core of many video processing tasks. In this paper, we propose a novel video foreground detection method that exploits the statistics of 3D space-tim...
Y. Moshe, H. Hel-Or, and Y. Hel-Or
DCC
2008
IEEE
16 years 6 months ago
Coprimitive sets and inextendable codes
Complete (n, r)-arcs in PG(k - 1, q) and projective (n, k, n - r)q-codes that admit no projective extensions are equivalent objects. We show that projective codes of reasonable le...
T. L. Alderson, Aiden A. Bruen
176
Voted
ICSM
2009
IEEE
16 years 1 months ago
Measuring the progress of projects using the time dependence of code changes
Tracking the progress of a project is often done through imprecise manually gathered information, like progress reports, or through automatic metrics such as Lines Of Code (LOC). ...
Omar Alam, Bram Adams, Ahmed E. Hassan