Sciweavers

2022 search results - page 315 / 405
» Natural-Language Semantics for Associations
Sort
View
SIGUCCS
2006
ACM
15 years 12 months ago
Better results in mathematics lessons with a virtual personal teacher
In this paper we present the results of an experiment made with our e-librarian service ”MatES”, an e-Learning tool on fractions in mathematics. MatES allows students to enter...
Serge Linckels, Carole Dording, Christoph Meinel
CBMS
2007
IEEE
16 years 9 days ago
Multifaceted Hyperimage-Based Organization and Interaction with Bio-Medical Images
The abundance of complex media-rich information in state-of-the-art bio-medical sciences underlines the importance of paradigms for organizing, searching, browsing, and assimilati...
Rahul Singh, Pierre-Yves Corlobe
AIMS
2007
Springer
16 years 4 days ago
Harnessing Models for Policy Conflict Analysis
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
Steven Davy, Brendan Jennings
CIE
2010
Springer
15 years 10 months ago
Focusing in Asynchronous Games
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
Samuel Mimram
DLOG
2003
15 years 7 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller