596 search results - page 30 / 120 » Providing Automatic Support for Heuristic Rules of Methods |
66
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
The annotation of song changes in music mixes created by DJs or radio stations for direct access in digital recordings is, usually, a very tedious work. In order to support this p...
CADE
2003
Springer
15 years 10 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
NLDB
2007
Springer
15 years 3 months ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
DATE
2000
IEEE
15 years 2 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
68
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...