Sciweavers

5384 search results - page 178 / 1077
» Open Standards Requirements
Sort
View
CSL
2010
Springer
15 years 7 months ago
Formal Theories for Linear Algebra
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
Stephen Cook, Lila Fontes
DLOG
2009
15 years 4 months ago
Quasi-Classical Semantics for Expressive Description Logics
Abstract. Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we present the ...
Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin
EDOC
2004
IEEE
15 years 10 months ago
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems
As the Internet, intranets and other wide-area open networks grow, novel techniques for building distributed systems, notably mobile agents, are attracting increasing attention. T...
Nobukazu Yoshioka, Shinichi Honiden, Anthony Finke...
IADIS
2004
15 years 8 months ago
Towards interoperability of wireless services - a description model of service interfaces
Web services are evolving quickly in terms of standardization. Technology and wireless networks exact requirements upon web services used via wireless connections, such as mobile ...
Anne Immonen, Jarkko Holappa, Päivi Kallio, J...
ICPR
2008
IEEE
16 years 1 months ago
A non-parametric scale-based corner detector
This paper introduces a new Harris-affine corner detector algorithm, that does not need parameters to locate corners in images, given an observation scale. Standard detectors req...
Fabio Bellavia, Domenico Tegolo, Cesare Valenti