Sciweavers

5671 search results - page 721 / 1135
» A Semantic Approach to Interpolation
Sort
View
AIL
2007
126views more  AIL 2007»
15 years 7 months ago
A web ontologies framework for digital rights management
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
Roberto García, Rosa Gil, Jaime Delgado
IJWET
2010
104views more  IJWET 2010»
15 years 5 months ago
Configurable meta-search in the job domain
: To aid job seekers searching for job vacancies, we have developed a new configurable meta-search engine for the human resources domain. In this paper we describe the three main c...
Tabbasum Naz, Jürgen Dorn, Alexandra Poulovas...
SIGMOD
2011
ACM
199views Database» more  SIGMOD 2011»
14 years 9 months ago
Schema-as-you-go: on probabilistic tagging and querying of wide tables
The emergence of Web 2.0 has resulted in a huge amount of heterogeneous data that are contributed by a large number of users, engendering new challenges for data management and qu...
Meiyu Lu, Divyakant Agrawal, Bing Tian Dai, Anthon...
POPL
2008
ACM
16 years 7 months ago
A theory of platform-dependent low-level software
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
Marius Nita, Dan Grossman, Craig Chambers
POPL
2006
ACM
16 years 7 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...