1271 search results - page 150 / 255 » On Simulation-Checking with Sequential Systems |
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
The sequence kernel has been shown to be a promising kernel function for learning from sequential data such as speech and DNA. However, it is not scalable to massive datasets due ...
COR
2006
13 years 10 months ago
2006
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
: The paper proposes a novel calibration approach for the Orthoglide-type mechanisms based on observations of the manipulator leg parallelism during motions between the prespecifie...
ENTCS
2007
13 years 10 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
FUIN
2007
13 years 10 months ago
2007
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...