4099 search results - page 189 / 820 » A Framework for Interactive Proof |
183
click to vote
PKDD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Orange (www.ailab.si/orange) is a suite for machine learning and data mining. It can be used though scripting in Python or with visual programming in Orange Canvas using ...
199
click to vote
ICFEM
2003
Springer
15 years 10 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
164
Voted
VISUALIZATION
2002
IEEE
15 years 10 months ago
2002
IEEE
We describe a method for volume rendering using a spectral representation of colour instead of the traditional RGB model. It is shown how to use this framework for a novel explora...
198
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
178
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we describe JClarens; a Java based implementation of the Clarens remote data server. JClarens provides web services for an interactive analysis environment to dynami...