Sciweavers

2448 search results - page 216 / 490
» The Octahedron Abstract Domain
Sort
View
99
Voted
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 4 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ISI
2003
Springer
15 years 4 months ago
COPLINK Agent: An Architecture for Information Monitoring and Sharing in Law Enforcement
Abstract. In this paper, we report our work on developing and evaluating a prototype system aimed at addressing the information monitoring and sharing challenges in the law enforce...
Daniel Dajun Zeng, Hsinchun Chen, Damien Daspit, F...
87
Voted
GMP
2010
IEEE
246views Solid Modeling» more  GMP 2010»
15 years 4 months ago
Parameterization of Star-Shaped Volumes Using Green's Functions
Abstract. Parameterizations have a wide range of applications in computer graphics, geometric design and many other fields of science and engineering. Although surface parameteriz...
Jiazhi Xia, Ying He 0001, Shuchu Han, Chi-Wing Fu,...
ESWS
2010
Springer
15 years 4 months ago
Generating Innovation with Semantically Enabled TasLab Portal
Abstract. In this paper we present a concrete case study in which semantic technology has been used to enable a territorial innovation. Firstly, we describe a scenario of the ICT r...
Pavel Shvaiko, Alessandro Oltramari, Roberta Cuel,...
SARA
2009
Springer
15 years 4 months ago
Light Algorithms for Maintaining Max-RPC During Search
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
Julien Vion, Romuald Debruyne