1743 search results - page 68 / 349 » Generalized Modal Satisfiability |
129
click to vote
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...
117
Voted
FROCOS
2005
Springer
15 years 8 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...
119
click to vote
FROCOS
2005
Springer
15 years 8 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...
143
click to vote
DAC
2006
ACM
16 years 3 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...
200
Voted
POPL
2002
ACM
16 years 2 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...