3255 search results - page 525 / 651 » Combination of Abstractions in the ASTR |
106
click to vote
IIE
2008
15 years 1 months ago
2008
Abstract. Learning Objects (LOs) play a key role for supporting eLearning. In general, however, the development of LOs remains a vague issue, because there is still no clearly defi...
103
click to vote
ENTCS
2006
15 years 1 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
98
Voted
ETT
2006
15 years 1 months ago
2006
Abstract-- The benefit of hybrid mobile communication networks combining point-to-point and point-to-multipoint systems should be an optimized transfer of data for both providers a...
121
Voted
ISI
2008
Springer
15 years 1 months ago
2008
Springer
ABSTRACT. Schema matching is a crucial task to gather information of the same domain. However, this process is still largely performed manually or semi-automatically, discouraging ...
114
Voted
JAR
2008
15 years 1 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...