Sciweavers

2586 search results - page 253 / 518
» Automatic Abstraction for Congruences
Sort
View
ICCS
2005
Springer
16 years 3 days ago
Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
Albert Hartono, Alexander Sibiryakov, Marcel Nooij...
213
Voted
ICWE
2005
Springer
16 years 3 days ago
Light-Weight Distributed Web Interfaces: Preparing the Web for Heterogeneous Environments
Abstract. In this paper we show an approach that allows web interfaces to dynamically distribute among several interconnected heterogeneous devices in an environment to support the...
Chris Vandervelpen, Geert Vanderhulst, Kris Luyten...
IJCNLP
2005
Springer
16 years 3 days ago
Period Disambiguation with Maxent Model
Abstract. This paper presents our recent work on period disambiguation, the kernel problem in sentence boundary identification, with the maximum entropy (Maxent) model. A number o...
Chunyu Kit, Xiaoyue Liu
ISMIS
2005
Springer
16 years 3 days ago
Semantic-Based Access to Digital Document Databases
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
KES
2005
Springer
16 years 3 days ago
Support for Internet-Based Commonsense Processing - Causal Knowledge Discovery Using Japanese "If" Forms
Abstract. This paper introduces our method for causal knowledge retrieval from the Internet resources, its results and evaluation of using it in utterance creation process. Our sys...
Yali Ge, Rafal Rzepka, Kenji Araki