2268 search results - page 269 / 454 » Semantic Integration |
133
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
125
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
124
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper will present an approach that fosters a seamless integration of documents with corporate information systems. It is based on a conceptually enhanced notion of documents...
135
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
103
click to vote
HCI
2007
15 years 5 months ago
2007
The objective of this research is to present the symbiosis concept that integrates creativity and the recent research issues in affective response to products shapes. The major ide...