4209 search results - page 568 / 842 » Abstract Dialectical Frameworks |
148
click to vote
AOSD
2010
ACM
15 years 4 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
174
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
151
click to vote
COMCOM
2007
15 years 4 months ago
2007
Dense wavelength division multiplexing (DWDM) has become the dominant transport layer technology for next-generation backbone networks due to its unprecedented capacity scalabilit...
159
click to vote
JMM2
2007
15 years 4 months ago
2007
Abstract— Activity recognition in video streams is increasingly important for both the computer vision and artificial intelligence communities. Activity recognition has many app...
141
Voted
AIL
2004
15 years 4 months ago
2004
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...