Sciweavers

281 search results - page 31 / 57
» Solving Parametric Algebraic Systems
Sort
View
98
Voted
TON
2002
102views more  TON 2002»
15 years 3 days ago
A min, + system theory for constrained traffic regulation and dynamic service guarantees
By extending the system theory under the (min, +) algebra to the time-varying setting, we solve the problem of constrained traffic regulation and develop a calculus for dynamic ser...
Cheng-Shang Chang, Rene L. Cruz, Jean-Yves Le Boud...
88
Voted
PROCEDIA
2010
85views more  PROCEDIA 2010»
14 years 11 months ago
Toward interactive statistical modeling
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
Sooraj Bhat, Ashish Agarwal, Alexander Gray, Richa...
91
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 17 days ago
Visibility maintenance via controlled invariance for leader-follower Dubins-like vehicles
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...
FSTTCS
1993
Springer
15 years 4 months ago
Higher-Order and Semantic Unification
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
Nachum Dershowitz, Subrata Mitra
109
Voted
FLAIRS
2007
15 years 2 months ago
A Morphological Neural Network Approach to Information Retrieval
We investigate the use of a morphological neural network to improve the performance of information retrieval systems. A morphological neural network is a neural network based on l...
Christian Roberson, Douglas D. Dankel II