13913 search results - page 168 / 2783 » models 2007 |
165
Voted
FORTE
2007
15 years 8 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
152
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
In this paper we study communication networks that employ drop-tail queueing and additive-increase multiplicative-decrease (AIMD) congestion control algorithms. We show that the t...
139
click to vote
PTS
2007
15 years 8 months ago
2007
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
152
click to vote
BC
2005
15 years 7 months ago
2005
and abstract phase-locked attractor network models of early olfactory systems Received: 12 May 2005 / Accepted: 18 July 2005 / Published online: 8 September 2005
171
Voted
NAACL
2004
15 years 8 months ago
2004
Organizations are increasingly turning to spoken dialog systems for automated call routing to reduce call center costs. To maintain quality service even in cases of failure, these...