1209 search results - page 146 / 242 » Using Prosodic Features in Language Models for Meetings |
125
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
144
Voted
LOPSTR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
136
click to vote
WCE
2007
15 years 4 months ago
2007
—Partitioned global address space (PGAS) languages, such as Unified Parallel C (UPC) have the promise of being productive. Due to the shared address space view that they provide,...
134
click to vote
SMA
2009
ACM
15 years 10 months ago
2009
ACM
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
125
Voted
IPM
2007
15 years 3 months ago
2007
We describe a compression model for semistructured documents, called Structural Contexts Model (SCM), which takes advantage of the context information usually implicit in the stru...