Sciweavers

3863 search results - page 500 / 773
» Function in Device Representation
Sort
View
PATMOS
2004
Springer
15 years 12 months ago
A Multi-level Validation Methodology for Wireless Network Applications
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
Christos Drosos, Labros Bisdounis, Dimitris Metafa...
ARITH
2003
IEEE
15 years 12 months ago
Revisiting SRT Quotient Digit Selection
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
Peter Kornerup
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
15 years 12 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
ICDAR
2003
IEEE
15 years 12 months ago
SAGENT: A Novel Technique for Document Modeling for Secure Access and Distribution
A novel strategy for the representation and manipulation of distributed documents, potentially complex and heterogeneous, is presented in this paper. The document under the propos...
Sanaul Hoque, Hossam Selim, Gareth Howells, Michae...
ICTAI
2003
IEEE
15 years 12 months ago
DOSE: A Distributed Open Semantic Elaboration Platform
The paper proposes a Distributed Open Semantic Elaboration platform based on a modular multilingual enabled architecture, which includes ontology, annotations, lexical entities an...
Dario Bonino, Fulvio Corno, Laura Farinetti