1746 search results - page 312 / 350 » A Constructive Semantics for ALC |
166
click to vote
ACSC
2009
IEEE
16 years 19 days ago
2009
IEEE
Most text mining methods are based on representing documents using a vector space model, commonly known as a bag of word model, where each document is modeled as a linear vector r...
168
click to vote
ESWS
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
146
click to vote
SEMWEB
2009
Springer
16 years 11 days ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
205
click to vote
HASKELL
2009
ACM
16 years 10 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
171
click to vote
KBSE
2007
IEEE
16 years 3 days ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...