Sciweavers

2477 search results - page 355 / 496
» First-Order Interactive Programming
Sort
View
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
15 years 2 months ago
Design of insulating devices for in vitro synthetic circuits
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
Elisa Franco, Domitilla Del Vecchio, Richard M. Mu...
ACIVS
2009
Springer
15 years 2 months ago
Engineering of Computer Vision Algorithms Using Evolutionary Algorithms
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
Marc Ebner
EMSOFT
2001
Springer
15 years 2 months ago
An Implementation of Scoped Memory for Real-Time Java
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
William S. Beebee, Martin C. Rinard
CSFW
2000
IEEE
15 years 2 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek
ICMCS
2000
IEEE
138views Multimedia» more  ICMCS 2000»
15 years 2 months ago
Structural and Semantic Analysis of Video
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...
Shih-Fu Chang, Hari Sundaram