Sciweavers

3358 search results - page 180 / 672
» Dynamic Description Logics
Sort
View
SEMCO
2008
IEEE
16 years 1 months ago
Serving the Sky: Discovering and Selecting Semantic Web Services through Dynamic Skyline Queries
Semantic Web service descriptions are typically multiparameter constructs. Discovering semantically relevant services, given a desirable service description, is typically addresse...
Dimitrios Skoutas, Dimitris Sacharidis, Alkis Simi...
ATAL
2006
Springer
15 years 10 months ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
SG
2004
Springer
16 years 13 days ago
A Framework Supporting General Object Interactions for Dynamic Virtual Worlds
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
Pieter Jorissen, Wim Lamotte
WICSA
2001
15 years 8 months ago
Statechart Simulator for Modeling Architectural Dynamics
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
Alexander Egyed, David S. Wile
ARITH
2009
IEEE
16 years 1 months ago
Challenges in Automatic Optimization of Arithmetic Circuits
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open and largely unsolved problem, espec...
Ajay K. Verma, Philip Brisk, Paolo Ienne