4190 search results - page 168 / 838 » Type Class Directives |
161
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
126
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
110
click to vote
RC
2007
15 years 3 months ago
2007
This article proposes an approach for investigating the exponential stability of a nonlinear interval dynamical system with the nonlinearity of a quadratic type on the basis of the...
162
click to vote
DATESO
2008
15 years 5 months ago
2008
Abstract In recent years, many approaches to indexing XML data have appeared. These approaches attempt to process XML queries efficiently and sufficient query plans are built for t...
116
click to vote
JOLLI
2010
15 years 2 months ago
2010
One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Tec...