Sciweavers

2330 search results - page 232 / 466
» A System for Object Class Detection
Sort
View
176
Voted
PPOPP
1990
ACM
15 years 10 months ago
Concurrent Aggregates (CA)
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
Andrew A. Chien, William J. Dally
CEC
2007
IEEE
15 years 10 months ago
Psim: a simulator for biomolecular dynamics based on P systems
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics is computed by metabolic algorithms which...
Luca Bianco, Vincenzo Manca, Luca Marchetti, Miche...
ENTCS
2007
92views more  ENTCS 2007»
15 years 6 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
Clemens Grabmayer
148
Voted
OOPSLA
1998
Springer
15 years 10 months ago
Role Model Based Framework Design and Integration
Today, any large object-oriented software system is built using frameworks. Yet, designing frameworks and defining their interaction with clients remains a difficult task. A prima...
Dirk Riehle, Thomas R. Gross
CVPR
2004
IEEE
16 years 8 months ago
Detection and Removal of Rain from Videos
The visual effects of rain are complex. Rain consists of spatially distributed drops falling at high velocities. Each drop refracts and reflects the environment, producing sharp i...
Kshitiz Garg, Shree K. Nayar