Sciweavers

17049 search results - page 230 / 3410
» cans 2007
Sort
View
APAL
2005
135views more  APAL 2005»
15 years 6 months ago
Safe beliefs for propositional theories
We propose an extension of answer sets, that we call safe beliefs, that can be used to study several properties and notions of answer sets and logic programming from a more genera...
Mauricio Osorio, Juan Antonio Navarro Pérez...
IM
2007
15 years 6 months ago
The Spectral Gap of a Random Subgraph of a Graph
We examine the relationship of a graph G and its random subgraphs which are defined by independently choosing each edge with probability p. Suppose that G has a spectral gap λ (...
Fan R. K. Chung, Paul Horn
AR
2005
73views more  AR 2005»
15 years 6 months ago
Cooperative behavior based on a subjective map with shared information in a dynamic environment
This paper proposes a subjective map representation that enables a robot in a multiagent system to make decisions in a dynamic, hostile environment. A typical situation can be fou...
Noriaki Mitsunaga, Taku Izumi, Minoru Asada
AUTOMATICA
2005
103views more  AUTOMATICA 2005»
15 years 6 months ago
Norm invariant discretization for sampled-data fault detection
In this paper, the problem of fault detection in sampled-data systems is studied. It is shown that norms of a sampled system are equal to the corresponding norms of a certain disc...
Iman Izadi, Tongwen Chen, Qing Zhao
BMCBI
2005
102views more  BMCBI 2005»
15 years 6 months ago
The Molecular Biology Toolkit (MBT): a modular platform for developing molecular visualization applications
Background: The large amount of data that are currently produced in the biological sciences can no longer be explored and visualized efficiently with traditional, specialized soft...
John L. Moreland, Apostol Gramada, Oleksandr V. Bu...