Sciweavers

6320 search results - page 377 / 1264
» Towards Situated Computing
Sort
View
COR
2004
127views more  COR 2004»
15 years 6 months ago
Towards the real time solution of strike force asset allocation problems
The strike force asset allocation problem consists of grouping strike force assets into packages and assigning these packages to targets and defensive assets in a way that maximiz...
Vincent Chi-Wei Li, Guy L. Curry, E. Andrew Boyd
200
Voted
TC
1998
15 years 6 months ago
Toward Correctly Rounded Transcendentals
—The Table Maker’s Dilemma is the problem of always getting correctly rounded results when computing the elementary functions. After a brief presentation of this problem, we pr...
Vincent Lefèvre, Jean-Michel Muller, Arnaud...
187
Voted
SIGDIAL
2010
15 years 4 months ago
Towards Improving the Naturalness of Social Conversations with Dialogue Systems
We describe an approach to improving the naturalness of a social dialogue system, Talkie, by adding disfluencies and other content-independent enhancements to synthesized conversa...
Matthew Marge, João Miranda, Alan W. Black,...
ECIR
2009
Springer
15 years 4 months ago
Towards the Selection of Induced Syntactic Relations
Abstract. We propose in this paper to use NLP approaches to validate induced syntactic relations. We focus on a Web Validation system, a Semantic Vector-based approach, and finally...
Nicolas Béchet, Mathieu Roche, Jacques Chau...
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 4 months ago
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
Andrew Schumann