Sciweavers

3838 search results - page 336 / 768
» The Autonomic Computing Paradigm
Sort
View
CONCUR
2005
Springer
16 years 5 days ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
EGC
2005
Springer
16 years 5 days ago
A Service Oriented Architecture for Decision Making in Engineering Design
Abstract. Decision making in engineering design can be effectively addressed by using genetic algorithms to solve multi-objective problems. These multi-objective genetic algorithm...
Alex Shenfield, Peter J. Fleming
ITICSE
2000
ACM
15 years 11 months ago
Pedagogical power tools for teaching Java
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
Jeff Raab, Richard Rasala, Viera K. Proulx
SCCC
1998
IEEE
15 years 11 months ago
Dynamic Programming as Frame for Efficient Parsing
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
Manuel Vilares Ferro, Miguel A. Alonso, David Cabr...
ACCV
1998
Springer
15 years 11 months ago
VR Models from Epipolar Images: An Approach to Minimize Errors in Synthesized Images
A new paradigm, the minimization of errors in synthesized images, is introduced to organically combine Computer Vision and Computer Graphics for Virtual Reality applications. Based...
Mikio Shinya, Takafumi Saito, Takeaki Mori, Noriyo...