Sciweavers

1256 search results - page 200 / 252
» Tools for Exploring Natural Language
Sort
View
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 4 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
SAMT
2007
Springer
133views Multimedia» more  SAMT 2007»
15 years 4 months ago
Semantic Video Classification Based on Subtitles and Domain Terminologies
In this paper we explore an unsupervised approach to classify video content by analyzing the corresponding subtitles. The proposed method is based on the WordNet lexical database a...
Polyxeni Katsiouli, Vassileios Tsetsos, Stathes Ha...
ACSC
2006
IEEE
15 years 4 months ago
Shallow NLP techniques for internet search
Information Retrieval (IR) is a major component in many of our daily activities, with perhaps its most prominent role manifested in search engines. Today’s most advanced engines...
Alex Penev, Raymond K. Wong
IUI
2006
ACM
15 years 4 months ago
Improving question-answering with linking dialogues
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
Sudeep Gandhe, Andrew S. Gordon, David R. Traum
AOSE
2005
Springer
15 years 3 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...