Sciweavers

973 search results - page 23 / 195
» Arguing Using Opponent Models
Sort
View
84
Voted
DANTE
1999
IEEE
154views Database» more  DANTE 1999»
15 years 1 months ago
Adapting Transactions to Exceptional Situations Using Structured Messages
We concentrate on the property that the progression of collaborative work involves communication among participants, and we consider a flexible method for managing transactions ut...
Sozo Inoue, Mizuho Iwaihara
126
Voted
PAMI
2012
12 years 12 months ago
Probabilistic Models for Inference about Identity
—Many face recognition algorithms use “distance-based” methods: Feature vectors are extracted from each face and distances in feature space are compared to determine matches....
Simon Prince, Peng Li, Yun Fu, Umar Mohammed, Jame...
74
Voted
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 3 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
72
Voted
TAOSD
2010
14 years 7 months ago
Aspect-Oriented Development Using Protocol Modeling
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...
Ashley T. McNeile, Ella E. Roubtsova
82
Voted
BIOINFORMATICS
2007
83views more  BIOINFORMATICS 2007»
14 years 9 months ago
Exploring biological network structure using exponential random graph models
Motivation: The functioning of biological networks depends in large part on their complex underlying structure. When studying their systemic nature many modeling approaches focus ...
Zachary M. Saul, Vladimir Filkov