4693 search results - page 285 / 939 » Verifying Hybrid Systems |
191
click to vote
EMNLP
2006
15 years 8 months ago
2006
Markov order-1 conditional random fields (CRFs) and semi-Markov CRFs are two popular models for sequence segmentation and labeling. Both models have advantages in terms of the typ...
199
click to vote
TMI
2008
15 years 6 months ago
2008
In this paper, a hybrid discriminative/generative model for brain anatomical structure segmentation is proposed. The learning aspect of the approach is emphasized. In the discrimin...
157
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
167
click to vote
MOBIHOC
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we investigate the use of limited infrastructure, in the form of wires, for improving the energy efficiency of a wireless sensor network. We call such a sensor netw...
171
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...