2205 search results - page 183 / 441 » Mutation Operators for Specifications |
INFORMATICALT
2008
13 years 9 months ago
2008
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...
IJRR
2006
13 years 9 months ago
2006
We describe the design features that underlie the operation of iSprawl, a small (0.3 Kg) autonomous, bio-inspired hexapod that runs at 15 body-lengths/second (2.3 m/s). These featu...
JUCS
2006
13 years 9 months ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...
ORDER
2006
13 years 9 months ago
2006
The C-subfunction relations on the set of functions on a finite base set A defined by function classes C are examined. For certain clones C on A, it is determined whether the part...
TSP
2008
13 years 9 months ago
2008
In this paper, we present a near ML-achieving sphere decoding algorithm that reduces the number of search operations in the sphere-constrained search. Specifically, by adding a pro...