Sciweavers

949 search results - page 16 / 190
» exact 2008
Sort
View
FOCS
2009
IEEE
15 years 4 months ago
Randomized Self-Assembly for Exact Shapes
— Working in Winfree’s abstract tile assembly model, we show that a constant-size tile assembly system can be programmed through relative tile concentrations to build an n × n...
David Doty
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 4 months ago
Exact controllability of linear neutral type systems by the moment problem approach
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...
Rabah Rabah, Grigory Sklyar
FLOPS
2008
Springer
14 years 11 months ago
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
Nicolas Julien
NECO
2007
110views more  NECO 2007»
14 years 9 months ago
Exact Simulation of Integrate-and-Fire Models with Exponential Currents
ll Text][Abstract] , October 1, 2007; 19 (10): 2604-2609.Neural Comput. R. Brette Exact Simulation of Integrate-and-Fire Models with Exponential Currents ll Text][Abstract] , Novem...
Romain Brette
TREC
2007
14 years 11 months ago
Access to Legal Documents: Exact Match, Best Match, and Combinations
: In this paper, we document our efforts in participating to the TREC 2007 Legal track. We had multiple aims: First, to experiment with using different query formulations, trying t...
Avi Arampatzis, Jaap Kamps, Martijn Kooken, Nir Nu...