Sciweavers

1188 search results - page 102 / 238
» Generating Connectives
Sort
View
ATAL
2008
Springer
15 years 5 months ago
An agent-based electrical power market
This demonstration shows an agent-based model for the electricity power market, in which the optimal power flow is determined in a bottom-up fashion. Here, each agent controls a s...
Jaime Cerda Jacobo, David De Roure, Enrico H. Gerd...
ICDE
2008
IEEE
125views Database» more  ICDE 2008»
16 years 4 months ago
Just-In-Time Processing of Continuous Queries
In a data stream management system, a continuous query is processed by an execution plan consisting of multiple operators connected via the "consumer-producer" relationsh...
Yin Yang, Dimitris Papadias
140
Voted
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
16 years 3 months ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima
ICRA
2009
IEEE
163views Robotics» more  ICRA 2009»
15 years 10 months ago
3D tree reconstruction from laser range data
— We present a method for reconstructing 3D models of tree branch structure from laser range data. Our approach is probabilistic, and uses a generative model of a tree to guide a...
Jonathan Binney, Gaurav S. Sukhatme
107
Voted
IROS
2009
IEEE
154views Robotics» more  IROS 2009»
15 years 10 months ago
A control-based approach to task-constrained motion planning
Abstract— We consider the problem of planning collisionfree motions for general (i.e., possibly nonholonomic) redundant robots subject to task space constraints. Previous approac...
Giuseppe Oriolo, Marilena Vendittelli