3317 search results - page 552 / 664 » Strategies in Rigid-Variable Methods |
162
click to vote
ATAL
2009
Springer
16 years 4 days ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
155
click to vote
SEMWEB
2009
Springer
16 years 3 days ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
169
click to vote
DOCENG
2009
ACM
16 years 2 days ago
2009
ACM
In this paper we propose a novel approach to markup, called Extreme Annotational RDF Markup (EARMARK), using RDF and OWL to annotate features in text content that cannot be mapped...
140
click to vote
DATE
2008
IEEE
16 years 23 hour ago
2008
IEEE
This paper proposes a dynamic cache repartitioning technique that enhances compositionality on platforms executing media applications with multiple utilization scenarios. The repa...
134
Voted
DATE
2008
IEEE
16 years 22 hour ago
2008
IEEE
We compare 12 new encodings for representing of FPGA detailed routing problems as equivalent Boolean Satisfiability (SAT) problems against the only 2 previously used encodings. We...