5630 search results - page 95 / 1126 » Computability in Specification |
127
click to vote
ISWC
1998
IEEE
15 years 8 months ago
1998
IEEE
Some wearable computing applications require sensing devices that detect the deflection of joints during human motion. Presented here is a novel non-invasive technique for measuri...
209
Voted
Book
"This book on applications of logic in the semantic analysis of language pays the
reader the compliment of not assuming anything about what he or she knows (in particular, no...
CORR
2002
Springer
15 years 3 months ago
2002
Springer
I consider issues in distributed computation that should be of relevance to game theory. In particular, I focus on (a) representing knowledge and uncertainty, (b) dealing with fai...
104
click to vote
FUIN
2008
15 years 4 months ago
2008
In this paper, we investigate the computational efficiency of gene rearrangement operations found in ciliates, a type of unicellular organisms. We show how the so-called guided re...
126
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...