3680 search results - page 85 / 736 » cases 2010 |
162
click to vote
LATIN
2010
Springer
15 years 8 months ago
2010
Springer
We study the worst case complexity of regular operations on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the result...
144
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
The joint usage of low
130
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we report a case study using two easy-todeploy psychophysiological measures
157
click to vote
IANDC
2010
15 years 4 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...