9873 search results - page 376 / 1975 » Emergent Semantics Systems |
164
click to vote
ICIS
2004
15 years 8 months ago
2004
Although called systems, information systems in organizations are often viewed as tools that "users" use. IS success is often gauged as though it were about acceptance a...
311
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
145
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
171
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Our previous work [26] introduced Belief Logic Programming (BLP), a novel form of quantitative logic programming with correlation of evidence. Unlike other quantitative approaches ...
204
click to vote
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
In the recent years, we are witnessing an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the enterprise environment ...