Sciweavers

569 search results - page 72 / 114
» Intent Specifications: An Approach to Building Human-Centere...
Sort
View
JFP
2008
97views more  JFP 2008»
15 years 4 months ago
HM(X) type inference is CLP(X) solving
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
Martin Sulzmann, Peter J. Stuckey
EMNLP
2010
15 years 4 months ago
Mining Name Translations from Entity Graph Mapping
This paper studies the problem of mining entity translation, specifically, mining English and Chinese name pairs. Existing efforts can be categorized into (a) a transliterationbas...
Gae-won You, Seung-won Hwang, Young-In Song, Long ...
IJCNN
2007
IEEE
16 years 13 days ago
Risk Assessment Algorithms Based on Recursive Neural Networks
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...
Alejandro Chinea Manrique De Lara, Michel Parent
ICNC
2005
Springer
15 years 11 months ago
DNA Computing for Complex Scheduling Problem
Interest in DNA computing has increased overwhelmly since Adleman successfully demonstrated its capability to solve Hamiltonian Path Problem (HPP). Many research results of similar...
Mohd Saufee Muhammad, Zuwairie Ibrahim, Satomi Ued...
HICSS
2003
IEEE
134views Biometrics» more  HICSS 2003»
15 years 11 months ago
Scheduling the Supply Chain by Teams of Agents
When a supply chain is established supply chain management (SCM) needs supporting tools for the tasks of operative planning, scheduling, and coordination. These tasks have to be p...
Jürgen Sauer, Hans-Jürgen Appelrath