2741 search results - page 236 / 549 » Engineering Mathematical Knowledge |
117
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
117
Voted
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
This demonstration shows how semantic schema matching technology is being incorporated into the BEA AquaLogic Data Services Platform. Specifically, it demonstrates how the manuall...
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a system that improves on current documentcentric Web search engine technology; adopting an entity-centric perspective, we are able to integrate data from both...
149
Voted
CCIA
2005
Springer
15 years 9 months ago
2005
Springer
The search of Web resources is a very important topic due to the huge amount of valuable information available in the WWW. Standard search engines can be a great help but they are ...
114
click to vote
RULEML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes the design and implementation of SweetProlog, a system for translating Web rules into Prolog. It enables the integration of ontologies and rules on t...