Sciweavers

3619 search results - page 398 / 724
» Developing Knowledge-Based Systems using the Semantic Web
Sort
View
ECAI
2006
Springer
15 years 8 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
ICSM
1996
IEEE
15 years 9 months ago
Using Informal and Formal Techniques for the Reverse Engineering of C Programs
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
WWW
2005
ACM
16 years 5 months ago
An environment for collaborative content acquisition and editing by coordinated ubiquitous devices
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
Yutaka Kidawara, Tomoyuki Uchiyama, Katsumi Tanaka
ACL
2011
14 years 8 months ago
Fine-Grained Class Label Markup of Search Queries
We develop a novel approach to the semantic analysis of short text segments and demonstrate its utility on a large corpus of Web search queries. Extracting meaning from short text...
Joseph Reisinger, Marius Pasca
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Communication in Crisis Situations Using Icon Language
To reduce the ambiguity and the different semantic interpretation of human observers’ reports, we propose a new paradigm in collaborating information using icons to represent co...
Siska Fitrianie, Léon J. M. Rothkrantz