Sciweavers

2458 search results - page 362 / 492
» Database-Management Principles And Applications
Sort
View
CAV
2008
Springer
160views Hardware» more  CAV 2008»
14 years 12 months ago
Scalable Shape Analysis for Systems Code
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano...
CICLING
2008
Springer
14 years 12 months ago
Natural Language as the Basis for Meaning Representation and Inference
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
Ido Dagan, Roy Bar-Haim, Idan Szpektor, Iddo Green...
CIKM
2008
Springer
14 years 12 months ago
Purpose tagging: capturing user intent to assist goal-oriented social search
The terms that are used by users during tagging have been found to be different from the terms that are used when searching for resources, which represents a fundamental problem f...
Markus Strohmaier
ISEMANTICS
2010
14 years 11 months ago
Self-service linked government data with dcat and gridworks
Open Government Data initiatives in the US, UK and elsewhere have made large amounts of raw data available to the public on the Web. There is enormous potential in applying Linked...
Richard Cyganiak, Fadi Maali, Vassilios Peristeras
HCI
2007
14 years 11 months ago
Design Tools for User Experience Design
: The purpose of this research was to develop an approach to artifact design based on information technology. To make interactive systems easy to use, many companies utilize a user...
Kazuhiko Yamazaki, Kazuo Furuta