Sciweavers

1638 search results - page 40 / 328
» Properties of input-consuming derivations
Sort
View
COLING
2002
14 years 9 months ago
Best Analysis Selection in Inflectional Languages
Ambiguity is the fundamental property of natural language. Perhaps, the most burdensome case of ambiguity manifests itself on the syntactic level of analysis. In order to face up ...
Ales Horák, Pavel Smrz
ORL
1998
130views more  ORL 1998»
14 years 9 months ago
Accelerating convergence in the Fermat-Weber location problem
This paper presents a simple procedure for accelerating convergence in a generalized Fermat–Weber problem with lp distances. The main idea is to multiply the predetermined step ...
Jack Brimberg, Reuven Chen, Doron Chen
PC
2011
314views Management» more  PC 2011»
14 years 4 months ago
Restart strategies in optimization: parallel and serial cases
This paper addresses the problem of minimizing the average running time of the Las Vegas type algorithm, both in serial and parallel setups. The necessary conditions for the exist...
Oleg V. Shylo, Timothy Middelkoop, Panos M. Pardal...
POPL
2006
ACM
15 years 10 months ago
Verifying properties of well-founded linked lists
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
Shuvendu K. Lahiri, Shaz Qadeer
MVA
1990
14 years 11 months ago
Determining Surface Orientation by Uni-directional Photometric Flow Fields
In the Shape from Shading methods, an extended approach named Uni-directional Photometric Flow Fields is proposed in this paper. The reflectance property of the surface material i...
Hidekazu Tanaka, Yuji Iwahori, Naohiro Ishii