Sciweavers

1064 search results - page 114 / 213
» Disjoint Systems (Extended Abstract)
Sort
View
125
Voted
SEMWEB
2004
Springer
15 years 8 months ago
OntoViews - A Tool for Creating Semantic Web Portals
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
Eetu Mäkelä, Eero Hyvönen, Samppa S...
149
Voted
ESOP
2006
Springer
15 years 7 months ago
Inference of User-Defined Type Qualifiers and Qualifier Rules
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
Brian Chin, Shane Markstrum, Todd D. Millstein, Je...
FCSC
2010
170views more  FCSC 2010»
15 years 24 days ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
ECCV
2008
Springer
16 years 5 months ago
An Incremental Learning Method for Unconstrained Gaze Estimation
Abstract. This paper presents an online learning algorithm for appearancebased gaze estimation that allows free head movement in a casual desktop environment. Our method avoids the...
Yusuke Sugano, Yasuyuki Matsushita, Yoichi Sato, H...
116
Voted
MICCAI
2005
Springer
16 years 4 months ago
Mosaicing of Confocal Microscopic In Vivo Soft Tissue Video Sequences
Abstract. Fibered confocal microscopy allows in vivo and in situ imaging with cellular resolution. The potentiality of this imaging modality is extended in this work by using video...
Tom Vercauteren, Aymeric Perchant, Xavier Pennec, ...