3729 search results - page 337 / 746 » On Formal Modeling of Agent Computations |
171
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
Network security has now become one of the most important aspects in computer systems and the Internet. Apart from strong encryption, there is no definite method of truly securing...
168
click to vote
NAR
2011
14 years 9 months ago
2011
A vast number of sweet tasting molecules are known, encompassing small compounds, carbohydrates, D-amino acids and large proteins. Carbohydrates play a particularly big role in hu...
192
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
187
click to vote
KCAP
2005
ACM
16 years 8 days ago
2005
ACM
Ontology mapping negotiation aims to achieve consensus among real-world entities about the process of transforming information between different models (ontologies). This paper de...
168
click to vote
FSTTCS
2005
Springer
16 years 7 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...