4895 search results - page 204 / 979 » Tools for Grammar Engineering |
186
click to vote
CCE
2005
15 years 6 months ago
2005
In practical system identification, process optimization and controller design, it is often desirable to simultaneously handle several objectives and constraints. In some cases, t...
167
click to vote
TSE
2010
15 years 4 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
152
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in mo...
170
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents a modified diary study that investigated how people performed personally motivated searches in their email, in their files, and on the Web. Although earlier st...
159
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
The MOST bus is a current bus technology for connecting multimedia components in cars, such as radios, navigation systems, or media players. The bus functionality is described in ...