8337 search results - page 365 / 1668 » Reasoning With Characteristic Models |
145
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The current implementations of ontology classification procedures use the main memory of the computer for loading and processing ontologies, which soon can become one of...
175
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
Service oriented architectures (SOAs) provide an architectural paradigm to develop and evolve enterprise information systems. A key feature of SOAs is compensability of services. ...
198
click to vote
CSL
2007
Springer
16 years 29 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
147
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
Multimodal surveillance systems using visible/IR cameras and other sensors are widely deployed today for security purpose, particularly when subjects are at a large distance. Howe...
177
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...