Sciweavers

711 search results - page 81 / 143
» Knowledge Representation and Reasoning in (Controlled) Natur...
Sort
View
ICCS
2001
Springer
15 years 10 months ago
Learning to Generate CGs from Domain Specific Sentences
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...
Lei Zhang, Yong Yu
AI
2007
Springer
15 years 6 months ago
Learning, detection and representation of multi-agent events in videos
In this paper, we model multi-agent events in terms of a temporally varying sequence of sub-events, and propose a novel approach for learning, detecting and representing events in...
Asaad Hakeem, Mubarak Shah
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 27 days ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
WECWIS
1999
IEEE
162views ECommerce» more  WECWIS 1999»
15 years 10 months ago
A Conceptual Annotation Approach to Indexing in a Web-Based Information System
All the specialists have agreed that the possibility of adding to multimedia WWW objects some sort of `conceptual' annotations describing their information content would grea...
Elisa Bertino, Barbara Catania, Gian Piero Zarri
OOPSLA
2009
Springer
16 years 26 days ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...