2487 search results - page 460 / 498 » cases 2009 |
156
click to vote
ECSQARU
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
174
click to vote
EMSOFT
2009
Springer
16 years 26 days ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
194
click to vote
EMSOFT
2009
Springer
16 years 26 days ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
157
click to vote
ESA
2009
Springer
16 years 25 days ago
2009
Springer
Dial-a-Ride problems consist of a set V of n vertices in a metric space (denoting travel time between vertices) and a set of m objects represented as source-destination pairs {(si,...
180
Voted
ESA
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. A mobile robot, represented by a point moving along a polygonal line in the plane, has to explore an unknown polygon and return to the starting point. The robot has a sen...