2106 search results - page 312 / 422 » Operational Semantics for DyLPs |
165
click to vote
ACL
1994
15 years 7 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...
157
click to vote
AAAI
1990
15 years 7 months ago
1990
Knowledge processing is very demanding on computer architectures. Knowledge processing generates subcomputation paths at an exponential rate. It is memory intensive and has high c...
190
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Huge amounts of social multimedia is being created daily by a combination of globally distributed disparate sensors, including human-sensors (e.g. tweets) and video cameras. Taken...
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
186
click to vote
CGF
2007
15 years 6 months ago
2007
We propose a mesh segmentation algorithm via recursive bisection where at each step, a sub-mesh embedded in 3D is first spectrally projected into the plane and then a contour is ...