1626 search results - page 191 / 326 » Subtyping with Power Types |
140
click to vote
MOC
2000
15 years 4 months ago
2000
These tables record results on curves with many points over finite fields. For relatively small genus (0 g 50) and q a small power of 2 or 3 we give in two tables the best presen...
106
Voted
BC
1998
15 years 4 months ago
1998
A non-uniform equivalent cable model of membrane voltage changes in branching neuronal trees with active ion channels has been developed. A general branching condition is formulate...
102
click to vote
CN
1999
15 years 4 months ago
1999
This paper presents XForm -- a proposal for a general and powerful mechanism for handling forms in XML. XForm defines form -- related constructs independent of any particular XML ...
126
click to vote
SPE
2002
15 years 4 months ago
2002
FC++ is a library for programming functionally in C++. Compared to other C++ functional programming libraries, FC++ is distinguished by its powerful type system which allows manip...
117
click to vote
TKDE
2002
15 years 4 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...