2702 search results - page 311 / 541 » Practically Applicable Formal Methods |
146
Voted
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
132
Voted
IFL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
128
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Finding latent patterns in high dimensional data is an important research problem with numerous applications. The most well known approaches for high dimensional data analysis are...
119
Voted
JRTIP
2008
15 years 2 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
126
Voted
TSMC
2010
14 years 9 months ago
2010
We describe a cognitive architecture for creating more robust intelligent systems by executing hybrids of algorithms based on different computational formalisms. The architecture ...