11462 search results - page 305 / 2293 » Developing Application-Centric Methods |
193
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
140
Voted
HCI
2009
15 years 2 months ago
2009
Augmented Reality (AR) research has been conducted for several decades, although until recently most AR applications had simple interaction methods using traditional input devices....
121
click to vote
COMGEO
2010
ACM
15 years 1 months ago
2010
ACM
The geographic profiling problem is to create an operationally useful estimate of the location of the home base of a serial criminal from the known locations of the offense sites....
165
click to vote
ISBI
2011
IEEE
14 years 8 months ago
2011
IEEE
We develop a new algorithm to segment the hippocampus from MR images. Our method uses a new classifier ensemble algorithm to correct segmentation errors produced by a multi-atlas...
148
Voted
ACL
2011
14 years 8 months ago
2011
We present a novel method for record extraction from social streams such as Twitter. Unlike typical extraction setups, these environments are characterized by short, one sentence ...