1593 search results - page 56 / 319 » A visual programming system for automated problem solving |
132
Voted
TCAD
2008
15 years 3 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
153
Voted
SIGOPS
2008
15 years 3 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
134
Voted
POPL
1995
ACM
15 years 7 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
119
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed synchronization is known to occur at several scales in the brain, and has been suggested as playing a key functional role in perceptual grouping. State-of-the-art visu...
128
click to vote
KR
1991
Springer
15 years 7 months ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...