Sciweavers

2611 search results - page 248 / 523
» A Logic for Concepts and Similarity
Sort
View
CGF
2008
137views more  CGF 2008»
15 years 6 months ago
Interaction-Dependent Semantics for Illustrative Volume Rendering
In traditional illustration the choice of appropriate styles and rendering techniques is guided by the intention of the artist. For illustrative volume visualizations it is diffic...
Peter Rautek, Stefan Bruckner, M. Eduard Gröl...
INTEGRATION
2008
87views more  INTEGRATION 2008»
15 years 6 months ago
SafeResynth: A new technique for physical synthesis
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
AI
2005
Springer
15 years 6 months ago
A logic-based model of intention formation and action for multi-agent subcontracting
We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus tha...
John Grant, Sarit Kraus, Donald Perlis
MONET
2007
111views more  MONET 2007»
15 years 6 months ago
Resource Discovery in Activity-Based Sensor Networks
— This paper proposes a service discovery protocol for sensor networks that is specifically tailored for use in humancentered pervasive environments. It uses the high-level conc...
Doina Bucur, Jakob E. Bardram
CORR
2011
Springer
149views Education» more  CORR 2011»
14 years 10 months ago
Intensionality and Two-steps Interpretations
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
Zoran Majkic