Sciweavers

851 search results - page 61 / 171
» Synthesis of Distributed Systems from Knowledge-Based Specif...
Sort
View
INFORMATICALT
2008
74views more  INFORMATICALT 2008»
15 years 3 months ago
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...
Regimantas Pliuskevicius, Aida Pliuskeviciene
111
Voted
HPCS
2007
IEEE
15 years 9 months ago
Utilizing Averaged Configuations from Molecular Dynamics Simulation Trajectories
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...
Peter G. Kusalik, K. Gillis, J. Vatamanu
IJCAI
2003
15 years 4 months ago
The Knowledge Required to Interpret Noun Compounds
Noun compound interpretation is the task of determining the semantic relations among the constituents of a noun compound. For example, "concrete floor" means a floor mad...
James Fan, Ken Barker, Bruce W. Porter
120
Voted
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 3 months ago
A Reflective Approach to Providing Flexibility in Application Distribution
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
Álvaro J. Rebón Portillo, Scott M. W...
RECSYS
2009
ACM
15 years 8 months ago
A semantic framework for personalized ad recommendation based on advanced textual analysis
In this paper we present a hybrid recommendation system that combines ontological knowledge with content-extracted linguistic information, derived from pre-trained lexical graphs,...
Dorothea Tsatsou, Fotis Menemenis, Ioannis Kompats...