1743 search results - page 68 / 349 » Generalized Modal Satisfiability |
Publication
A key goal for the perceptual system is to optimally combine
information from all the senses that may be available in order to
develop the most accurate and unified picture possi...
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
FROCOS
2005
Springer
14 years 3 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
This article outlines several projects aimed at generating electrical energy by passively tapping a variety of human body sources and activities. After summarizing different energ...
POPL
2002
ACM
14 years 10 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...