5451 search results - page 466 / 1091 » Typed Operational Semantics |
192
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
221
click to vote
ICDT
2011
ACM
14 years 10 months ago
2011
ACM
The goal of the PADS project, which started in 2001, is to make it easier for data analysts to extract useful information from ad hoc data files. This paper does not report new r...
122
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
A semi-automatic 3D roof reconstruction method is proposed in this paper. It consists of two components: automatic recognition of 2D plane drawings and interactively “pulling”...
145
Voted
ASAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Data movement operations, such as the C-style memcpy function, are often used to duplicate or communicate data. This type of function typically produces a significant amount of o...
217
click to vote
ABIALS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...