Sciweavers

6618 search results - page 1007 / 1324
» Natural Logic for Natural Language
Sort
View
NPIV
1998
ACM
15 years 10 months ago
Visual interactions with Web database content
In this paper,we describeanexperimental web application, Visual MeSH that supports dynamic user interaction with medical vocabulary databasesand literature databases. Visual MeSH ...
Xia Lin, Lewis Hassell, Il-Yeol Song, Tamas E. Dos...
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 10 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...
WAIM
2000
Springer
15 years 10 months ago
An Object Oriented Multidimensional Data Model for OLAP
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...
Nguyen Thanh Binh, A. Min Tjoa, Roland Wagner
ICALT
2009
IEEE
15 years 10 months ago
On-demand Construction of Personalized Learning Experiences Using Semantic Web and Web 2.0 Techniques
Nowadays, the Semantic Web technologies are exploited also in the e-learning domain in order to provide personalized and adaptive learning experiences, semantic annotation of lear...
Nicola Capuano, Matteo Gaeta, Francesco Orciuoli, ...
AAAI
2007
15 years 9 months ago
Content Analysis for Proactive Intelligence: Marshaling Frame Evidence
Modeling and simulation have great potential as technologies capable of aiding analysts in making accurate predictions of future situations to help provide competitive advantage a...
Antonio Sanfilippo, Andrew J. Cowell, Stephen Trat...
« Prev « First page 1007 / 1324 Last » Next »