Sciweavers

175 search results - page 13 / 35
» Case Provenance: The Value of Remembering Case Sources
Sort
View
BTW
2007
Springer
191views Database» more  BTW 2007»
14 years 1 months ago
The Information Integrator: Using Semantic Technology to provide a single view to distributed data
: For the integration of data that resides in autonomous data sources Software AG uses ontologies. Data source ontologies describe the data sources themselves. Business ontologies ...
Jürgen Angele, Michael Gesmann
POPL
2006
ACM
14 years 8 months ago
Stratified type inference for generalized algebraic data types
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
François Pottier, Yann Régis-Gianas
ACHI
2008
IEEE
14 years 2 months ago
Focusing Graphical User Interfaces in Model-Driven Software Development
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
Stefan Link, Thomas Schuster, Philip Hoyer, Sebast...
IJCAI
2003
13 years 9 months ago
Registry-Based Support for Information Integration
In order for agents and humans to leverage the growing wealth of heterogeneous information and services on the web, increasingly, they need to understand the information that is d...
Deborah L. McGuinness, Paulo Pinheiro da Silva
ICCAD
2009
IEEE
87views Hardware» more  ICCAD 2009»
13 years 5 months ago
The synthesis of combinational logic to generate probabilities
As CMOS devices are scaled down into the nanometer regime, concerns about reliability are mounting. Instead of viewing nanoscale characteristics as an impediment, technologies suc...
Weikang Qian, Marc D. Riedel, Kia Bazargan, David ...