Sciweavers

7213 search results - page 987 / 1443
» Automated model grouping
Sort
View
LICS
2006
IEEE
16 years 26 days ago
Two-Variable Logic on Words with Data
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentic...
LICS
2006
IEEE
16 years 26 days ago
Fixed-Parameter Hierarchies inside PSPACE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
Guoqiang Pan, Moshe Y. Vardi
SKG
2006
IEEE
16 years 26 days ago
A Semantic-based Meteorology Grid Service Registry, Discovery and Composition Framework
Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-bas...
Kaijun Ren, Nong Xiao, Junqiang Song, Weimin Zhang...
CBMS
2005
IEEE
16 years 14 days ago
An Ontology-Driven Clustering Method for Supporting Gene Expression Analysis
The Gene Ontology (GO) is an important knowledge resource for biologists and bioinformaticians. This paper explores the integration of similarity information derived from GO into ...
Haiying Wang, Francisco Azuaje, Olivier Bodenreide...
CW
2005
IEEE
16 years 14 days ago
Web-Based Configure-to-Order Platform for Collaborative Development of Customized Products
To support the collaborative development of custom products in current distributed manufacturing, this paper develops a Web-based configure-to-order platform. The proposed platfor...
Roger Jianxin Jiao, Martin G. Helander, Lianfeng Z...