12981 search results - page 2408 / 2597 » Model Checking (Abstract) |
117
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
114
Voted
ALGORITHMICA
1999
15 years 3 months ago
1999
Abstract. The rational approach to pharmaceutical drug design begins with an investigation of the relationship between chemical structure and biological activity. Information gaine...
117
Voted
GIS
1998
ACM
15 years 3 months ago
1998
ACM
Abstract. Crime pattern analysis has tended to focus on `hotspot’ analysis techniques; the identi® cation of areas with higher densities of criminal activity. This paper documen...
126
Voted
MP
2002
15 years 3 months ago
2002
Abstract. Robust Optimization (RO) is a modeling methodology, combined with computational tools, to process optimization problems in which the data are uncertain and is only known ...
155
Voted
NPL
1998
15 years 3 months ago
1998
Abstract. The resolution of combinatorial optimization problems can greatly benefit from the parallel and distributed processing which is characteristic of neural network paradigm...