Sciweavers

576 search results - page 67 / 116
» What's in a Domain
Sort
View
SIGMOD
2004
ACM
97views Database» more  SIGMOD 2004»
14 years 9 months ago
Integration of Biological Sources: Current Systems and Challenges Ahead
This paper surveys the area of biological and genomic sources integration, which has recently become a major focus of the data integration research field. The challenges that an i...
Thomas Hernandez, Subbarao Kambhampati
ICSE
2003
IEEE-ACM
14 years 9 months ago
From HCI to Software Engineering and Back
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
José Creissac Campos, Michael D. Harrison
ICCAD
2002
IEEE
129views Hardware» more  ICCAD 2002»
14 years 5 months ago
Transmission line design of clock trees
We investigate appropriate regimes for transmission line propagation of signals on digital integrated circuits. We start from exact solutions to the transmission line equations pr...
Rafael Escovar, Roberto Suaya
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
14 years 5 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
CANDC
2009
ACM
14 years 3 months ago
Nature of creative analogies in biologically inspired innovative design
Analogy is a fundamental process of creativity. Biologically inspired design by definition entails crossdomain analogies, and in practice has led to many innovative designs. Thus,...
Swaroop Vattam, Michael E. Helms, Ashok K. Goel