1938 search results - page 22 / 388 » On Positive Relational Calculi |
AAAI
1997
13 years 8 months ago
1997
A variety of sensors and positioning methods have been developed over the years. Most methods rely on active sensors (such as sonars or lasers) which have range and power restrict...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
CIE
2009
Springer
14 years 2 months ago
2009
Springer
Let Γ be a (not necessarily finite) structure with a finite relational signature. We prove that deciding whether a given existential positive sentence holds in Γ is in LOGSPACE...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
- We have been studying the technologizing of skill of the medical doctor in the medical diagnosis such as dialysis related amyloid arthropathy (DRAA) by ultrasonographic images. P...
ENTCS
2008
13 years 7 months ago
2008
Abstract. The biologist R. Thomas has enounced a rule relating multistationnarity in a system of genes interacting in a single cell to the existence of a positive circuit in the re...