488 search results - page 58 / 98 » Weighted Logics for Traces |
108
click to vote
ENTCS
2006
15 years 2 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
130
click to vote
ICRA
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
115
click to vote
MICCAI
2006
Springer
16 years 2 months ago
2006
Springer
Individual white matter fibers cannot be resolved by current magnetic resonance (MR) technology. Many fibers of a fiber bundle will pass through an individual volume element (voxel...
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose an FDB based intra-Domain Traceback System (FDB-DTS), which is a hybrid traceback system composed of packet digesting boxes and an iterative query engine...
114
click to vote
AAAI
2004
15 years 3 months ago
2004
Neural-symbolic systems are hybrid systems that integrate symbolic logic and neural networks. The goal of neural-symbolic integration is to benefit from the combination of feature...