2519 search results - page 334 / 504 » Reasoning with Textual Cases |
168
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
157
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
199
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
155
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
173
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
New upper and lower bounds are presented on the capacity of the free-space optical intensity channel. This channel is characterized by inputs that are nonnegative (representing the...