Sciweavers

10462 search results - page 358 / 2093
» Toward the
Sort
View
152
Voted
RULEML
2005
Springer
16 years 1 months ago
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML
Adrian Giurca, Gerd Wagner
162
Voted
RWEB
2005
Springer
16 years 1 months ago
Towards Types for Web Rule Languages
Wlodzimierz Drabent
184
Voted
SEMWEB
2005
Springer
16 years 1 months ago
Towards a Killer App for the Semantic Web
Killer apps are highly transformative technologies that create new markets and widespread patterns of behaviour. IT generally, and the Web in particular, has benefited from killer...
Harith Alani, Yannis Kalfoglou, Kieron O'Hara, Nig...
220
Voted
SEMWEB
2005
Springer
16 years 1 months ago
Towards Imaging Large-Scale Ontologies for Quick Understanding and Analysis
In many practical applications, ontologies tend to be very large and complicated. In order for users to quickly understand and analyze large-scale ontologies, in this paper we prop...
Kewei Tu, Miao Xiong, Lei Zhang, Haiping Zhu, Jie ...
150
Voted
SSS
2005
Springer
16 years 1 months ago
Towards Automatic Convergence Verification of Self-stabilizing Algorithms
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel