Sciweavers

1054 search results - page 192 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
CP
2001
Springer
15 years 2 months ago
A CLP Approach to the Protein Side-Chain Placement Problem
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
Martin T. Swain, Graham J. L. Kemp
GLVLSI
2009
IEEE
142views VLSI» more  GLVLSI 2009»
15 years 1 months ago
Design tools for emerging technologies
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...
Jacob White
LREC
2010
149views Education» more  LREC 2010»
14 years 11 months ago
Paragraph Acquisition and Selection for List Question Using Amazon's Mechanical Turk
Creating more fine-grained annotated data than previously relevent document sets is important for evaluating individual components in automatic question answering systems. In this...
Fang Xu, Dietrich Klakow
ICMLA
2004
14 years 11 months ago
LASSO: a learning architecture for semantic web ontologies
Expressing web page content in a way that computers can understand is the key to a semantic web. Generating ontological information from the web automatically using machine learni...
Christopher N. Hammack, Stephen D. Scott
IS
2006
14 years 9 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin