626 search results - page 80 / 126 » When Can Formal Methods Make a Real Difference |
123
Voted
AAAI
2006
15 years 5 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
114
Voted
IJCAI
2003
15 years 4 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
123
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
Subsequence similarity matching in time series databases is an important research area for many applications. This paper presents a new approximate approach for automatic online s...
131
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...
132
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...