2880 search results - page 297 / 576 » Types are calling conventions |
155
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we consider the generalization of the classical notion of nonholonomy of smooth constraints in analytical mechanics, to a substantially wider set of systems, allowing...
168
click to vote
ICFEM
2004
Springer
16 years 1 days ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
179
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
174
Voted
ISNN
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents an unsupervised fuzzy-kernel learning vector quantization algorithm called FKLVQ. FKLVQ is a batch type of clustering learning network by fusing the batch learn...
193
click to vote
KR
2004
Springer
16 years 1 days ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...