Sciweavers

671 search results - page 63 / 135
» What is integration
Sort
View
BIBM
2010
IEEE
180views Bioinformatics» more  BIBM 2010»
13 years 8 months ago
CAMBer: An approach to support comparative analysis of multiple bacterial strains
There is a large amount of inconsistency in gene structure annotations of bacterial strains. This inconsistency is a frustrating impedance to effective comparative genomic analysi...
Michal Wozniak, Limsoon Wong, Jerzy Tiuryn
MICRO
2010
IEEE
149views Hardware» more  MICRO 2010»
13 years 8 months ago
ReMAP: A Reconfigurable Heterogeneous Multicore Architecture
This paper presents ReMAP, a reconfigurable architecture geared towards accelerating and parallelizing applications within a heterogeneous CMP. In ReMAP, threads share a common rec...
Matthew A. Watkins, David H. Albonesi
DESIRE
2010
13 years 5 months ago
Investigating visual analogies for visual insight problems
Much research has focused on the impact of analogies in insight problem solving, but less work has investigated how the visual analogies for insight are actually constructed. Thus...
Corina Sas, Eric Luchian, Linden J. Ball
ATAL
2011
Springer
12 years 10 months ago
The face of emotions: a logical formalization of expressive speech acts
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
Nadine Guiraud, Dominique Longin, Emiliano Lorini,...
BCSHCI
2007
13 years 11 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves