Sciweavers

1790 search results - page 202 / 358
» Automatic Keyword Extraction Using Domain Knowledge
Sort
View
AAAI
2006
15 years 4 months ago
Ontology Based Semantic Modeling for Chinese Ancient Architectures
Modeling complex architectures is quite challenging. We introduce a novel intelligent system, which can generate semi-style or semi-structure Chinese ancient architectures automat...
Yong Liu, Congfu Xu, Qiong Zhang, Yunhe Pan
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 8 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
FASE
2007
Springer
15 years 9 months ago
Contract-Driven Development
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
Bertrand Meyer
ASPLOS
2009
ACM
16 years 3 months ago
Commutativity analysis for software parallelization: letting program transformations see the big picture
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
Farhana Aleen, Nathan Clark
WISE
2005
Springer
15 years 8 months ago
Semantic Partitioning of Web Pages
In this paper we describe the semantic partitioner algorithm, that uses the structural and presentation regularities of the Web pages to automatically transform them into hierarchi...
Srinivas Vadrevu, Fatih Gelgi, Hasan Davulcu