Sciweavers

1542 search results - page 160 / 309
» The Observational Power of Clocks
Sort
View
73
Voted
ECOOP
2008
Springer
15 years 2 months ago
Ptolemy: A Language with Quantified, Typed Events
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
Hridesh Rajan, Gary T. Leavens
EUROCRYPT
2008
Springer
15 years 2 months ago
Truly Efficient 2-Round Perfectly Secure Message Transmission Scheme
In the model of perfectly secure message transmission schemes (PSMTs), there are n channels between a sender and a receiver. An infinitely powerful adversary A may corrupt (observe...
Kaoru Kurosawa, Kazuhiro Suzuki
118
Voted
VMV
2008
129views Visualization» more  VMV 2008»
15 years 2 months ago
Shape Median Based on Symmetric Area Differences
Median averaging is a powerful averaging concept on sets of vector data in finite dimensions. A generalization of the median for shapes in the plane is introduced. The underlying ...
Benjamin Berkels, Gina Linkmann, Martin Rumpf
APVIS
2006
15 years 2 months ago
Spatial analysis of centralization and decentralization in the population migration network
Although overcrowded and the depopulation of the population are one of the social issues in Japan, the complex mechanisms are not comprehended. Then, we tried to show this phenome...
S. Tomita, Y. Hayashi
AAAI
1996
15 years 2 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy