Sciweavers

1746 search results - page 307 / 350
» A Constructive Semantics for ALC
Sort
View
TON
2010
188views more  TON 2010»
13 years 4 months ago
Self-Chord: A Bio-Inspired P2P Framework for Self-Organizing Distributed Systems
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
Agostino Forestiero, Emilio Leonardi, Carlo Mastro...
TSMC
2011
289views more  TSMC 2011»
13 years 4 months ago
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
Allan I. McInnes, Brandon K. Eames, Russell J. Gro...
CVPR
2011
IEEE
13 years 6 months ago
Recognizing Human Actions by Attributes
In this paper we explore the idea of using high-level semantic concepts, also called attributes, to represent human actions from videos and argue that attributes enable the constr...
Jingen Liu
DASFAA
2011
IEEE
177views Database» more  DASFAA 2011»
13 years 1 months ago
Optimizing Incremental Maintenance of Minimal Bisimulation of Cyclic Graphs
Abstract. Graph-structured databases have numerous recent applications including the Semantic Web, biological databases and XML, among many others. In this paper, we study the main...
Jintian Deng, Byron Choi, Jianliang Xu, Sourav S. ...
IEAAIE
2011
Springer
13 years 1 months ago
Informative Sentence Retrieval for Domain Specific Terminologies
Domain specific terminologies represent important concepts when students study a subject. If the sentences which describe important concepts related to a terminology can be accesse...
Jia-Ling Koh, Chin-Wei Cho