2880 search results - page 180 / 576 » Types are calling conventions |
117
click to vote
TIP
1998
15 years 6 months ago
1998
Abstract— We discuss a new type of holographic image representations that have advantages in a “distributed” world. We call these representations holographic. Arbitrary porti...
245
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
155
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper studies dissipativity for a class of infinite-dimensional systems, called pseudorational, in the behavioral context. A basic equivalence condition for dissipativity is e...
166
click to vote
JGO
2011
15 years 2 months ago
2011
We propose a very weak type of generalized distance called weak τ-function and use it to weaken the assumptions about lower semicontinuity in existing formulations of Ekeland’s ...
163
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
Biomedical researchers rely on keyword-based search engines to retrieve superficially relevant documents, from which they must filter out irrelevant information manually. Hence, t...