Sciweavers

2337 search results - page 218 / 468
» Is the Open Way a Better Way
Sort
View
ICRA
2000
IEEE
93views Robotics» more  ICRA 2000»
15 years 10 months ago
Scheduling and Coordination in Manufacturing Enterprise Automation
Manufacturing enterprise automation was focused on factory level where scheduling is a key issue in the past. As more and more companies are relying on their business parmers or s...
Haoxun Chen, Peter B. Luh
CAIP
1999
Springer
157views Image Analysis» more  CAIP 1999»
15 years 10 months ago
Free-Form Surface Description in Multiple Scales: Extension to Incomplete Surfaces
A novel technique for multi-scale smoothing of a free-form 3-D surface is presented. Diffusion of the surface is achieved through convolutions of local parametrisations of the su...
Nasser Khalili, Farzin Mokhtarian, Peter Yuen
ISCAS
1999
IEEE
121views Hardware» more  ISCAS 1999»
15 years 10 months ago
The linear time-varying approach applied to a first-order dynamic translinear filter
Dynamic translinear (DTL) circuits use the exponential inputoutput relation of the transistor as a primitive for the synthesis of electronic circuits. As a consequence the analysi...
F. C. M. Kuijstermans, F. M. Diepstraten, Wouter A...
LICS
1999
IEEE
15 years 10 months ago
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
Albert Atserias, Phokion G. Kolaitis
CONCUR
1998
Springer
15 years 10 months ago
On Discretization of Delays in Timed Automata and Digital Circuits
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
Eugene Asarin, Oded Maler, Amir Pnueli