206 search results - page 21 / 42 » Weak Alternating Automata Are Not That Weak |
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
There has recently been considerable research on physical design tuning algorithms. At the same time, there is only one published methodology to evaluate the quality of different,...
ICALP
2009
Springer
14 years 6 days ago
2009
Springer
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
AAAI
2008
13 years 10 months ago
2008
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...
INFOCOM
1999
IEEE
13 years 12 months ago
1999
IEEE
Multiband (or multi-carrier) CDMA is a promising approach to increasing the capacity of CDMA networks, while maintaining compatibility with existing systems. This paper investigate...