Sciweavers

11022 search results - page 245 / 2205
» Programming Systems for Autonomy
Sort
View
ICCAD
2001
IEEE
107views Hardware» more  ICCAD 2001»
16 years 4 months ago
A Convex Programming Approach to Positive Real Rational Approximation
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
WOLLIC
2010
Springer
15 years 11 months ago
A CTL-Based Logic for Program Abstractions
sed Logic for Program Abstractions Martin Lange1 and Markus Latte2 1 Dept. of Computer Science, University of Kassel, Germany 2 Dept. of Computer Science, Ludwig-Maximilians-Univer...
Martin Lange, Markus Latte
EOR
2007
68views more  EOR 2007»
15 years 7 months ago
Multiattribute electronic procurement using goal programming
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...
S. Kameshwaran, Y. Narahari, Charles H. Rosa, Deva...
123
Voted
UM
2007
Springer
16 years 1 months ago
What's in a Step? Toward General, Abstract Representations of Tutoring System Log Data
Kurt VanLehn, Kenneth R. Koedinger, Alida Skogshol...
ICAPR
2005
Springer
16 years 18 days ago
GP Ensemble for Distributed Intrusion Detection Systems
In this paper an intrusion detection algorithm based on GP ensembles is proposed. The algorithm runs on a distributed hybrid multiisland model-based environment to monitor security...
Gianluigi Folino, Clara Pizzuti, Giandomenico Spez...