1380 search results - page 175 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
WSDM
2009
ACM
14 years 3 months ago
2009
ACM
The Web is a dynamic, ever changing collection of information. This paper explores changes in Web content by analyzing a crawl of 55,000 Web pages, selected to represent different...
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Primary user emulation attack (PUEA) is a denial of service (DoS) attack unique to dynamic spectrum access (DSA) networks. While there have been studies in the literature to detect...
WADT
1998
Springer
14 years 18 days ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The paper presents an implemented model for priming speech recognition, using contextual information about salient entities. The underlying hypothesis is that, in human-r...