1133 search results - page 56 / 227 » Local Logics for Traces |
109
click to vote
CONSTRAINTS
2004
15 years 18 days ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
90
Voted
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a novel approach for extraction of minutiaefeatures from fingerprint images. Theproposed approach is based on the use of logical templates for minutiae extraction in th...
115
Voted
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
97
Voted
ENTCS
2007
15 years 21 days ago
2007
Polyadic coalgebraic modal logic is studied in the setting of locally presentable categories. It is shown that under certain assumptions, accessible functors admit expressive logi...
103
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— For a mobile robot it is critical to detect and compensate for slippage, especially when driving in rough terrain environments. Due to its highly unpredictable nature, drift la...