Sciweavers

210 search results - page 17 / 42
» types 1994
Sort
View
PPSN
1994
Springer
14 years 1 months ago
An Evolutionary Algorithm for Integer Programming
Abstract. The mutation distribution of evolutionary algorithms usually is oriented at the type of the search space. Typical examples are binomial distributions for binary strings i...
Günter Rudolph
SAS
1994
Springer
104views Formal Methods» more  SAS 1994»
14 years 1 months ago
Strictness and Totality Analysis
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
Kirsten Lackner Solberg
SWAT
1994
Springer
86views Algorithms» more  SWAT 1994»
14 years 1 months ago
Sequential and Parallel Algorithms for Embedding Problems on Classes of Partial k-Trees
We present sequential and parallel algorithms for various embedding problems on bounded degree partial k-trees and k-connected partial k-trees these include subgraph isomorphism a...
Arvind Gupta, Naomi Nishimura
VLDB
1994
ACM
110views Database» more  VLDB 1994»
14 years 1 months ago
Client-Server Paradise
This paper describes the design and implementation of Paradise, a database system designed for handling GIS type of applications. The current version of Paradise, uses a client{se...
David J. DeWitt, Navin Kabra, Jun Luo, Jignesh M. ...
ACL
1994
13 years 10 months ago
A Hybrid Reasoning Model for Indirect Answers
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
Nancy Green, Sandra Carberry