2957 search results - page 226 / 592 » Processing Self Corrections |
230
click to vote
3DIM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Surface registration is a fundamental step in the reconstruction of three-dimensional objects. This is typically a two-step process where an initial coarse motion estimation is ...
231
click to vote
AAAI
2012
13 years 9 months ago
2012
Much work has been done on predicting where is one going to be in the immediate future, typically within the next hour. By contrast, we address the open problem of predicting huma...
166
click to vote
ALT
2004
Springer
16 years 3 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
155
click to vote
SIGADA
2005
Springer
16 years 2 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
148
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...