7886 search results - page 173 / 1578 » An evaluation of bipartitioning techniques |
180
click to vote
DEXA
2007
Springer
16 years 1 months ago
2007
Springer
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
187
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
163
click to vote
ATAL
2005
Springer
16 years 17 days ago
2005
Springer
To increase the believability and life-likeness of Embodied Conversational Agents (ECAs), we introduce a behavior synthesis technique for the generation of expressive gesturing. A...
185
click to vote
LPAR
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We describe a novel decision procedure for Quantified Boolean Formulas (QBFs) which aims to unleash the hidden potential of quantified reasoning in applications. The Sk...
215
click to vote
AWIC
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...