2834 search results - page 486 / 567 » Representing Trees with Constraints |
98
Voted
ISEMANTICS
2010
15 years 2 months ago
2010
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...
79
Voted
LREC
2010
15 years 2 months ago
2010
In this work we present further development of the SpLaSH (Spoken Language Search Hawk) project. SpLaSH implements a data model for annotated speech corpora integrated with textua...
100
click to vote
VAMOS
2010
Springer
15 years 2 months ago
2010
Springer
Feature models are a common way to represent variability in software product line engineering. For this purpose, most authors use a graphical notation based on FODA. The main drawb...
120
Voted
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
106
click to vote
IPCO
2008
15 years 2 months ago
2008
In this paper, we present a new Integer Program (IP) for the Air Traffic Flow Management (ATFM) problem. The model we propose provides a complete representation of all the phases o...