3726 search results - page 670 / 746 » A structured definition of the modeling process |
205
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
182
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
172
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
198
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. The rapid growth in the amount of XML data and the development of publish-subscribe systems have led to great interest in processing streaming XML data. We propose the Qs...
188
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— A novel cross-layer call admission control policy is proposed for a general CDMA beamforming system. In contrast to previously proposed call admission control (CAC) policies wh...