605 search results - page 82 / 121 » Normalizers and Split Extensions |
124
Voted
IPMI
2001
Springer
16 years 3 months ago
2001
Springer
Abstract. This paper presents a new and integrated approach to automatic 3D brain vessel segmentation using physics-based statistical models of background and vascular signals, and...
115
Voted
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
Tsochantaridis et al. (2005) proposed two formulations for maximum margin training of structured spaces: margin scaling and slack scaling. While margin scaling has been extensivel...
101
Voted
CHI
2009
ACM
16 years 3 months ago
2009
ACM
CT The novel experience Anywhere allowed participants to explore an urban area, tying together information not normally available, new points of views and interaction embedded into...
125
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
145
Voted
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...