2021 search results - page 212 / 405 » COCO: Composition Model and Composition Model Implementation |
173
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
—Establishing robust communications in the presence of Doppler rate is a requirement for several waveforms such as SATCOM and HF. In this paper, we motivate the need to model Dop...
144
click to vote
IEEEPACT
2007
IEEE
16 years 24 days ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
146
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
179
click to vote
EKAW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present an overview of the principle components of GIPO, an environment to support knowledge acquisition for AI Planning. GIPO assists in the knowledge f...
193
click to vote
GISCIENCE
2004
Springer
15 years 12 months ago
2004
Springer
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...