1828 search results - page 97 / 366 » First-Class Type Classes |
114
Voted
DLOG
2010
15 years 19 days ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
115
click to vote
SIGECOM
2004
ACM
15 years 8 months ago
2004
ACM
We provide efficient algorithms for finding approximate BayesNash equilibria (BNE) in graphical, specifically tree, games of incomplete information. In such games an agent’s p...
126
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
89
Voted
CIE
2006
Springer
15 years 6 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
163
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...