Sciweavers

5244 search results - page 186 / 1049
» Structural Complexity of AvgBPP
Sort
View
ESOP
2000
Springer
15 years 8 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
CCE
2007
15 years 4 months ago
Design and control of recycle systems by non-linear analysis
Design and control of recycle systems must be integrated at an early design stage. By placing together the pieces of the design puzzle we developed a novel methodology that allows...
Anton A. Kiss, Costin S. Bildea, Alexandre C. Dimi...
IVC
2008
101views more  IVC 2008»
15 years 4 months ago
Occlusion analysis: Learning and utilising depth maps in object tracking
Complex scenes such as underground stations and malls are composed of static occlusion structures such as walls, entrances, columns, turnstiles and barriers. Unless this occlusion...
Darrel Greenhill, John-Paul Renno, James Orwell, G...
IJWGS
2006
125views more  IJWGS 2006»
15 years 4 months ago
Compiling business processes: untangling unstructured loops in irreducible flow graphs
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...
Wei Zhao, Rainer Hauser, Kamal Bhattacharya, Barre...
IJON
2007
84views more  IJON 2007»
15 years 4 months ago
Modeling self-developing biological neural networks
Recent progress in chips–neuron interface suggests real biological neurons as long-term alternatives to silicon transistors. The first step ning such computing systems is to bu...
Hugues Berry, Olivier Temam