3726 search results - page 670 / 746 » A structured definition of the modeling process |
184
click to vote
LICS
2008
IEEE
16 years 17 days 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 ...
169
click to vote
SMI
2008
IEEE
16 years 16 days 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...
163
click to vote
AINA
2007
IEEE
16 years 15 days 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...
185
click to vote
DASFAA
2007
IEEE
16 years 15 days 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...
173
click to vote
GLOBECOM
2007
IEEE
16 years 15 days 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...