Sciweavers

8196 search results - page 412 / 1640
» Computational Modeling and Complexity Science
Sort
View

Lecture Notes
445views
17 years 5 months ago
Macro 2
These notes cover several topics such as Money Demand (and some Supply), The Price of Money, Derivations of the Pricing Relations, Money and Sticky Prices: A First Look, Money in M...
Paul Söderlind
STACS
2007
Springer
16 years 27 days ago
On the Automatic Analysis of Recursive Security Protocols with XOR
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
Ralf Küsters, Tomasz Truderung
CAD
2005
Springer
15 years 6 months ago
Industrial geometry: recent advances and applications in CAD
Industrial Geometry aims at unifying existing and developing new methods and algorithms for a variety of application areas with a strong geometric component. These include CAD, CA...
Helmut Pottmann, Stefan Leopoldseder, Michael Hofe...
CVPR
2005
IEEE
16 years 8 months ago
Modeling Dynamic Scenes with Active Appearance
In this work we propose a model for video scenes that contain temporal variability in shape and appearance. We propose a conditionally linear model akin to a dynamic extension of ...
Gianfranco Doretto
188
Voted
WG
1998
Springer
15 years 11 months ago
Graphs with Bounded Induced Distance
In this work we introduce the class of graphs with bounded induced distance of order k, (BID(k) for short). A graph G belongs to BID(k) if the distance between any two nodes in ev...
Serafino Cicerone, Gabriele Di Stefano