Sciweavers

2783 search results - page 241 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
135
Voted
CP
2003
Springer
15 years 7 months ago
Cost-Based Filtering for Shorter Path Constraints
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...
Meinolf Sellmann
ERSHOV
2003
Springer
15 years 7 months ago
Automatic Evaluation of Quality of an Explanatory Dictionary by Comparison of Word Senses
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...
Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong H...
FOCS
2002
IEEE
15 years 6 months ago
Rapidly Mixing Markov Chains for Sampling Contingency Tables with a Constant Number of Rows
We consider the problem of sampling almost uniformly from the set of contingency tables with given row and column sums, when the number of rows is a constant. Cryan and Dyer [3] h...
Mary Cryan, Martin E. Dyer, Leslie Ann Goldberg, M...
66
Voted
NOMS
2002
IEEE
15 years 6 months ago
Message tracking in SOAP-based Web services
As web services become more prevalent, the nature of electronic transactions on the Internet changes from simple browser-to-business clicks to an orchestrated flow of messages bet...
Akhil Sahai, Vijay Machiraju, Jinsong Ouyang, Klau...
122
Voted
TPHOL
2002
IEEE
15 years 6 months ago
Type-Theoretic Functional Semantics
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
Yves Bertot, Venanzio Capretta, Kuntal Das Barman