Sciweavers

960 search results - page 144 / 192
» Computational Semantics Of Mass Terms
Sort
View
DLOG
2009
13 years 5 months ago
Revision of DL-Lite Knowledge Bases
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
Zhe Wang, Kewen Wang, Rodney W. Topor
SIVP
2010
109views more  SIVP 2010»
13 years 2 months ago
System profiles in content-based image indexing and retrieval
In this paper, a novel study on system profiles and adaptation of parameters for end-users of content-based indexingandretrieval(CBIR)applicationsarepresented.The main objective of...
Esin Guldogan, Moncef Gabbouj
POPL
2012
ACM
12 years 3 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
POPL
2012
ACM
12 years 3 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
ACL
2012
11 years 10 months ago
Learning High-Level Planning from Text
Comprehending action preconditions and effects is an essential step in modeling the dynamics of the world. In this paper, we express the semantics of precondition relations extrac...
S. R. K. Branavan, Nate Kushman, Tao Lei, Regina B...