4894 search results - page 418 / 979 » Choices |
199
click to vote
SUTC
2010
IEEE
15 years 6 months ago
2010
IEEE
— Symbol synchronization is a critical component in the design of an underwater acoustic modem. Without accurate symbol synchronization, higher bit error rates incur thus reduc...
206
click to vote
SYNTHESE
2010
15 years 6 months ago
2010
In this paper, I investigate the relationship between preference and judgment aggregation, using the notion of ranking judgment introduced in List and Pettit (Synthese 140(1–2):2...
189
click to vote
TCS
2010
15 years 6 months ago
2010
Subbisimilarity is proposed as a general tool to classify the relative expressive power of process calculi. The expressiveness of several variants of CCS is compared in terms of t...
159
click to vote
TOOLS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. Java provides a specification for a user-defined general purpose equivalence operator for objects, but collections such as Set have more stringent requirements. This in...
182
click to vote
CG
2010
Springer
15 years 5 months ago
2010
Springer
We define the Rook Jumping Maze, provide historical perspective, and describe a generation method for such mazes. When applying stochastic local search algorithms to maze design, m...