828 search results - page 81 / 166 » Modularity for Timed and Hybrid Systems |
136
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
—This article describes a rigorous and complete framework for the simultaneous localization and map building problem for mobile robots: the symmetries and perturbations map (SPma...
93
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Reconfigurable computing systems have developed the capability of changing the configuration of the reconfigurable coprocessor multiple times during the course of a program. Howev...
120
Voted
IJCAI
2007
15 years 5 months ago
2007
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
156
Voted
BIOCOMP
2008
15 years 5 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
126
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...