Sciweavers

10568 search results - page 707 / 2114
» Computer Intelligence and Formalization
Sort
View
AIM
2005
15 years 7 months ago
General Game Playing: Overview of the AAAI Competition
A General Game Playing System is one that can accept a formal description of a game and play the game effectively without human intervention. Unlike specialized game players, such...
Michael R. Genesereth, Nathaniel Love, Barney Pell
AIR
2004
126views more  AIR 2004»
15 years 7 months ago
Interval Relations in Lexical Semantics of Verbs
Numerous temporal relations of verbal actions have been analysed in terms of various grammatical means of expressing verbal temporalisation such as tense, aspect, duration and iter...
Minhua Ma, Paul McKevitt
ARTMED
2000
105views more  ARTMED 2000»
15 years 7 months ago
Planning treatment of ischemic heart disease with partially observable Markov decision processes
Diagnosis of a disease and its treatment are not separate, one-shot activities. Instead, they are very often dependent and interleaved over time. This is mostly due to uncertainty...
Milos Hauskrecht, Hamish S. F. Fraser
INFSOF
1998
88views more  INFSOF 1998»
15 years 6 months ago
A logic based language for networked agents
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
Dianxiang Xu
MMS
2002
15 years 6 months ago
Smart VideoText: a video data model based on conceptual graphs
An intelligent annotation-based video data model called Smart VideoText is introduced. It utilizes the conceptual graph knowledge representation formalism to capture the semantic a...
Fotis Kokkoras, Haitao Jiang, Ioannis P. Vlahavas,...