Sciweavers

1463 search results - page 18 / 293
» The State of the Art in Language Modeling
Sort
View
FDL
2006
IEEE
14 years 1 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
12 years 7 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton
MICCAI
2008
Springer
14 years 8 months ago
MR Brain Tissue Classification Using an Edge-Preserving Spatially Variant Bayesian Mixture Model
In this paper, a spatially constrained mixture model for the segmentation of MR brain images is presented. The novelty of this work is a new, edge preserving, smoothness prior whic...
Giorgos Sfikas, Christophoros Nikou, Nikolas P. ...
EMNLP
2009
13 years 5 months ago
Investigation of Question Classifier in Question Answering
In this paper, we investigate how an accurate question classifier contributes to a question answering system. We first present a Maximum Entropy (ME) based question classifier whi...
Zhiheng Huang, Marcus Thint, Asli Çelikyilm...
SPIN
2007
Springer
14 years 1 months ago
An Embeddable Virtual Machine for State Space Generation
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
Michael Weber