31387 search results - page 455 / 6278 » Abstracts |
191
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges...
169
click to vote
EJC
2007
15 years 7 months ago
2007
We give a characterization of the root shadow spaces of buildings whose types correspond to Dynkin diagrams. The results generalize earlier geometric point-line characterizations ...
159
click to vote
JWE
2006
15 years 7 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
188
click to vote
OL
2008
15 years 7 months ago
2008
Abstract Manyeconomicmodels andoptimizationproblems generate(endogenous) shadow prices--alias dual variables or Lagrange multipliers. Frequently the "slopes" of resulting...
151
click to vote
MSCS
2006
15 years 7 months ago
2006
We define a sequent calculus corresponding to the logic of strongly compact closed categories with biproducts. Based on this calculus, we define a proof-net syntax with ly normali...