15375 search results - page 316 / 3075 » cans 2008 |
FLAIRS
2008
15 years 6 months ago
2008
The ubiquity and capability of off-the-shelf laptop computers offer AI educators remarkable opportunities to reach broadly across the subfields of AI. By leveraging student laptop...
161
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we present a framework for the automatic identification and selection of convex MIMO instruction-set extensions for reconfigurable architecture. The framewo...
132
Voted
WALCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper deals with the Circular Pattern Matching Problem (CPM). In CPM, we are interested in pattern matching between the text T and the circular pattern C(P) of a given pattern...
150
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...
124
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper presents necessary and sufficient conditions for null controllability of discrete-time linear systems subject to both input and state constraints. The class...