Sciweavers

3323 search results - page 113 / 665
» Computational Semantics with Functional Programming
Sort
View
120
Voted
FLOPS
2008
Springer
15 years 4 months ago
Rewriting and Call-Time Choice: The HO Case
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
Francisco Javier López-Fraguas, Juan Rodr&i...
151
Voted
PLILP
1994
Springer
15 years 6 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
207
Voted
POPL
2007
ACM
16 years 2 months ago
Cost semantics for space usage in a parallel language
We describe a framework for better understanding scheduling policies for fine-grained parallel computations and their effect on space usage. We define a profiling semantics that c...
Daniel Spoonhower
137
Voted
SMC
2010
IEEE
202views Control Systems» more  SMC 2010»
15 years 28 days ago
Evaluating the performance of nonnegative matrix factorization for constructing semantic spaces: Comparison to latent semantic a
—This study examines the ability of nonnegative matrix factorization (NMF) as a method for constructing semantic spaces, in which the meaning of each word is represented by a hig...
Akira Utsumi
SIAMJO
2008
139views more  SIAMJO 2008»
15 years 2 months ago
An Augmented Primal-Dual Method for Linear Conic Programs
We propose a new iterative approach for solving linear programs over convex cones. Assuming that Slaters condition is satisfied, the conic problem is transformed to the minimizatio...
Florian Jarre, Franz Rendl