Sciweavers

2887 search results - page 341 / 578
» Name Generation and Linearity
Sort
View
NAACL
2003
15 years 7 months ago
Semantic Language Models for Topic Detection and Tracking
In this work, we present a new semantic language modeling approach to model news stories in the Topic Detection and Tracking (TDT) task. In the new approach, we build a unigram la...
Ramesh Nallapati
PTS
1998
81views Hardware» more  PTS 1998»
15 years 7 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
DAGSTUHL
1996
15 years 7 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
BILDMED
2009
104views Algorithms» more  BILDMED 2009»
15 years 7 months ago
MRI Composing for Whole Body Imaging
Abstract. Whole-body magnetic resonance imaging is an emerging application gaining vast clinical interest during the last years. Although recent technological advances shortened th...
Ben Glocker, Christian Wachinger, Jochen Zeltner, ...
ADCM
2008
187views more  ADCM 2008»
15 years 6 months ago
Approximation on the sphere using radial basis functions plus polynomials
In this paper we analyse a hybrid approximation of functions on the sphere S2 R3 by radial basis functions combined with polynomials, with the radial basis functions assumed to be...
Ian H. Sloan, Alvise Sommariva