Sciweavers

973 search results - page 23 / 195
» Arguing Using Opponent Models
Sort
View
DANTE
1999
IEEE
154views Database» more  DANTE 1999»
13 years 12 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
PAMI
2012
11 years 10 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...
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
14 years 1 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
TAOSD
2010
13 years 6 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
BIOINFORMATICS
2007
83views more  BIOINFORMATICS 2007»
13 years 7 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