1413 search results - page 26 / 283 » Bisimilarity of Open Terms |
95
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— This paper examines the stability of quantum feedback networks. We introduce a novel characterization, in terms of equivalence classes of operators, that may be used to...
118
Voted
AH
2006
Springer
15 years 4 months ago
2006
Springer
Adaptive Hypermedia Systems adjust the content to best suit users' personal characteristics, but rarely consider delivery performance. Performance issues are even more signifi...
96
Voted
ISN
2000
Springer
15 years 4 months ago
2000
Springer
The growth of commercial activities across networks has led to the network itself becoming a competitive marketplace with a multitude of vendors, operators and customers. In such a...
92
Voted
MM
2010
ACM
15 years 27 days ago
2010
ACM
VLFeat is an open and portable library of computer vision algorithms. It aims at facilitating fast prototyping and reproducible research for computer vision scientists and student...
107
click to vote
DEXA
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...