1679 search results - page 145 / 336 » Strong order equivalence |
157
click to vote
ASIACRYPT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. GPUs offer a tremendous amount of computational bandwidth that was until now largely unusable for cryptographic computations due to a lack of integer arithmetic and user...
170
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
195
click to vote
LPAR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
140
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we propose a new tool called OWL-CM (OWL Combining Matcher) that deals with uncertainty inherent to ontology mapping process. On the one hand, OWL-CM uses the techniq...
115
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
— This paper focuses on the suboptimal regulation of multivariable discrete-time bilinear systems consisting of interconnected bilinear subsystems with respect to a linear quadra...