3818 search results - page 377 / 764 » Word Problems on Compressed Words |
187
Voted
JUCS
2008
15 years 6 months ago
2008
: This paper presents a novel market model for balancing communication bandwidth trade. The distinguishing characteristic of the model is that it assumes that market players can pl...
183
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
164
click to vote
JUCS
2008
15 years 6 months ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
172
click to vote
JIRS
2006
15 years 6 months ago
2006
The implementation of a particle filter (PF) for vision-based bearing-only simultaneous localization and mapping (SLAM) of a mobile robot in an unstructured indoor environment is p...
218
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...