3090 search results - page 544 / 618 » On Testing Answer-Set Programs |
126
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
133
click to vote
ICDAR
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
146
click to vote
ENDM
2010
14 years 11 months ago
2010
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
149
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
In this work, a Modified Vector Field Histogram (MVFH) has been developed to improve path planning and obstacle avoidance for a wheeled driven mobile robot. It permits the detecti...
137
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...