1418 search results - page 206 / 284 » The Dynamic Complexity of Formal Languages |
160
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
155
Voted
EKAW
2008
Springer
15 years 6 months ago
2008
Springer
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
142
Voted
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
154
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
163
click to vote
JMLR
2012
13 years 7 months ago
2012
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...