1743 search results - page 68 / 349 » Generalized Modal Satisfiability |
113
Voted
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...
107
click to vote
FROCOS
2005
Springer
15 years 6 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...
103
Voted
FROCOS
2005
Springer
15 years 6 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...
125
Voted
DAC
2006
ACM
16 years 1 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...
180
Voted
POPL
2002
ACM
16 years 29 days 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...