Sciweavers

14783 search results - page 2575 / 2957
» Quantum Information Processing
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
ENVSOFT
2006
144views more  ENVSOFT 2006»
15 years 4 months ago
Ten iterative steps in development and evaluation of environmental models
Models are increasingly being relied upon to inform and support natural resource management. They are incorporating an ever broader range of disciplines and now often confront peo...
Anthony J. Jakeman, Rebecca A. Letcher, John P. No...
IJCSA
2008
137views more  IJCSA 2008»
15 years 4 months ago
Algorithms to Improve Performance of Natural Language Interface
: Performance of Natural Language Interface often deteriorates due to linguistic phenomena of Semantic Symmetry and Ambiguous Modification (Katz and Lin, 2003). In this paper we pr...
M. R. Joshi, R. A. Akerkar
141
Voted
EOR
2006
88views more  EOR 2006»
15 years 4 months ago
Nonessential objectives within network approaches for MCDM
In Gal and Hanne [Eur. J. Oper. Res. 119 (1999) 373] the problem of using several methods to solve a multiple criteria decision making (MCDM) problem with linear objective functio...
Tomas Gal, Thomas Hanne
ETT
2006
93views Education» more  ETT 2006»
15 years 4 months ago
A modular access gateway for managing intermittent connectivity in vehicular communications
The Drive-thru Internet architecture allows exploiting intermittent connectivity by temporarily connecting to IEEE 802.11 WLAN access points at the roadside from moving vehicles. T...
Jörg Ott, Dirk Kutscher
« Prev « First page 2575 / 2957 Last » Next »