Sciweavers

3514 search results - page 512 / 703
» Evolving Specification Engineering
Sort
View
DAC
2005
ACM
15 years 7 months ago
Template-driven parasitic-aware optimization of analog integrated circuit layouts
Layout parasitics have great impact on analog circuit performance. This paper presents an algorithm for explicit parasitic control during layout retargeting of analog integrated c...
Sambuddha Bhattacharya, Nuttorn Jangkrajarng, C.-J...
BCSHCI
2007
15 years 7 months ago
Supporting human memory with interactive systems
The major goal of this workshop is to explore how interactive systems can support human memory, using novel technologies and innovative human/machine interaction paradigms, such a...
Denis Lalanne, Elise van den Hoven
MC
2008
126views Computer Science» more  MC 2008»
15 years 7 months ago
Identifying User Interface Patterns from Pertinent Multimodal Interaction Use Cases
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
Andreas Ratzka
OWLED
2008
15 years 7 months ago
The OWL in the CASL - Designing Ontologies Across Logics
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
Oliver Kutz, Dominik Lücke, Till Mossakowski,...
AAAI
2006
15 years 7 months ago
Value-Function-Based Transfer for Reinforcement Learning Using Structure Mapping
Transfer learning concerns applying knowledge learned in one task (the source) to improve learning another related task (the target). In this paper, we use structure mapping, a ps...
Yaxin Liu, Peter Stone