Sciweavers

2705 search results - page 393 / 541
» Formal Ontology for Subject
Sort
View
ATAL
2005
Springer
14 years 3 months ago
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...
Nathan Schurr, Janusz Marecki, N. Kasinadhuni, Mil...
DOCENG
2004
ACM
14 years 3 months ago
On modular transformation of structural content
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
Tyng-Ruey Chuang, Jan-Li Lin
ISSTA
2004
ACM
14 years 3 months ago
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...
MM
2004
ACM
151views Multimedia» more  MM 2004»
14 years 3 months ago
Grouping web image search result
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...
Xin-Jing Wang, Wei-Ying Ma, Qi-Cai He, Xing Li
SAC
2004
ACM
14 years 3 months ago
Using mobile agents as roaming security guards to test and improve security of hosts and networks
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
Marco M. Carvalho, Thomas B. Cowin, Niranjan Suri,...