3706 search results - page 130 / 742 » KtSeqC: System Description |
134
click to vote
EUC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper provides a survey of searchable, peer-to-peer filesharing systems that offer the user some form of anonymity. We start this survey by giving a brief descript...
211
click to vote
RTA
2011
Springer
14 years 9 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
178
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
151
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Potential users of audio production software, such as audio equalizers, may be discouraged by the complexity of the interface. We describe a system that simplifies the interface b...
200
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...