Sciweavers

1341 search results - page 178 / 269
» Logic for Modeling Product Structure
Sort
View
148
Voted
INDOCRYPT
2003
Springer
15 years 8 months ago
On Multiplicative Linear Secret Sharing Schemes
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
Ventzislav Nikov, Svetla Nikova, Bart Preneel
123
Voted
NAR
2011
176views Computer Vision» more  NAR 2011»
14 years 6 months ago
IUPHAR-DB: new receptors and tools for easy searching and visualization of pharmacological data
The IUPHAR database is an established online reference resource for several important classes of human drug targets and related proteins. As well as providing recommended nomencla...
Joanna L. Sharman, Chidochangu P. Mpamhanga, Micha...
130
Voted
IRI
2008
IEEE
15 years 10 months ago
Data component based management of reservoir simulation models
The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
130
Voted
ECAI
2004
Springer
15 years 9 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
145
Voted
AAI
2000
138views more  AAI 2000»
15 years 3 months ago
Compositional Design and Reuse of a Generic Agent Model
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...