Sciweavers

8695 search results - page 411 / 1739
» Making the Complex Simple
Sort
View
MAGS
2007
100views more  MAGS 2007»
15 years 7 months ago
Engineering agent-mediated integration of bioinformatics analysis tools
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
Vassilis Koutkias, Andigoni Malousi, Nicos Maglave...
CGF
2004
173views more  CGF 2004»
15 years 7 months ago
Simulating and Modeling Lichen Growth
This paper presents a system for modeling lichens and simulating their propagation and growth in a virtual scene. Lichens colonize almost every substrate in nature and play an imp...
Brett Desbenoit, Eric Galin, Samir Akkouche
CORR
2004
Springer
123views Education» more  CORR 2004»
15 years 7 months ago
Light types for polynomial time computation in lambda-calculus
We present a polymorphic type system for lambda calculus ensuring that welltyped programs can be executed in polynomial time: dual light affine logic (DLAL). DLAL has a simple typ...
Patrick Baillot, Kazushige Terui
CORR
2004
Springer
94views Education» more  CORR 2004»
15 years 7 months ago
Quantum Computing, Postselection, and Probabilistic Polynomial-Time
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...
Scott Aaronson
CAGD
2000
53views more  CAGD 2000»
15 years 7 months ago
Multi-point tool positioning strategy for 5-axis mashining of sculptured surfaces
Multi-point machining (MPM) is a tool positioning technique used for finish machining of sculptured surfaces. In this technique the desired surface is generated at more than one p...
Andrew Warkentin, Fathy Ismail, Sanjeev Bedi