1701 search results - page 86 / 341 » Computer Science and State Machines |
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
FM
1994
Springer
15 years 2 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
EDUTAINMENT
2008
Springer
14 years 11 months ago
2008
Springer
Machine learning is a key technology to design and create intelligent systems, products, and related services. Like many other design departments, we are faced with the challenge t...
IMSCCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of biological classification problems. However, the proc...
107
click to vote
ICMLA
2010
14 years 7 months ago
2010
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...