Sciweavers

7918 search results - page 131 / 1584
» Model Composition Directives
Sort
View
89
Voted
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 23 days ago
Directed animals in the gas
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...
Yvan Le Borgne, Jean-François Marckert
AAAI
2006
15 years 2 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa
102
Voted
CVPR
2005
IEEE
16 years 2 months ago
A Closed Form Solution to Direct Motion Segmentation
We present a closed form solution to the problem of segmenting multiple 2-D motion models of the same type directly from the partial derivatives of an image sequence. We introduce...
Dheeraj Singaraju, René Vidal
94
Voted
TCC
2007
Springer
112views Cryptology» more  TCC 2007»
15 years 6 months ago
On the Necessity of Rewinding in Secure Multiparty Computation
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
Michael Backes, Jörn Müller-Quade, Domin...
AOSE
2001
Springer
15 years 5 months ago
Bringing Coherence to Agent Conversations
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
Roberto A. Flores, Robert C. Kremer