Sciweavers

7602 search results - page 19 / 1521
» A New Approach to Base Revision
Sort
View
JAIR
2011
144views more  JAIR 2011»
14 years 9 months ago
Iterated Belief Change Due to Actions and Observations
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
Aaron Hunter, James P. Delgrande
ASPDAC
2007
ACM
94views Hardware» more  ASPDAC 2007»
15 years 6 months ago
A New Boundary Element Method for Multiple-Frequency Parameter Extraction of Lossy Substrates
-1 The couplings via realistic lossy substrates can be modeled as frequency-dependent coupling parameters. The fast extraction at multiple frequencies can be accomplished in two se...
Xiren Wang, Wenjian Yu, Zeyi Wang
ICCV
2005
IEEE
15 years 7 months ago
Object Detection in Aerial Imagery Based on Enhanced Semi-Supervised Learning
Object detection in aerial imagery has been well studied in computer vision for years. However, given the complexity of large variations of the appearance of the object and the ba...
Jian Yao, Zhongfei (Mark) Zhang
BMCBI
2010
178views more  BMCBI 2010»
15 years 2 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling
ENTCS
2006
1305views more  ENTCS 2006»
15 years 1 months ago
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
Matthias Nickles, Felix A. Fischer, Gerhard Wei&sz...