19798 search results - page 238 / 3960 » Is Structural Subtyping Useful |
114
Voted
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
ER
2004
Springer
15 years 6 months ago
2004
Springer
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
92
Voted
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes the process of bonding a MEMS (Micro-ElectroMechanical System) microgripper to the distal end of a robotic manipulator arm using a molten solder bonding techn...
106
Voted
CAV
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
87
Voted
APN
2010
Springer
15 years 4 months ago
2010
Springer
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...