Sciweavers

1054 search results - page 192 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
CP
2001
Springer
15 years 6 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
120
Voted
GLVLSI
2009
IEEE
142views VLSI» more  GLVLSI 2009»
15 years 5 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»
15 years 3 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
15 years 3 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
15 years 1 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