Sciweavers

4224 search results - page 725 / 845
» Reasoning about Choice
Sort
View
133
Voted
SEMWEB
2010
Springer
14 years 7 months ago
Modeling vs encoding for the Semantic Web
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
Werner Kuhn
135
Voted
TCAD
2010
121views more  TCAD 2010»
14 years 7 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
109
Voted
CHI
2011
ACM
14 years 4 months ago
Side effects and "gateway" tools: advocating a broader look at evaluating persuasive systems
This paper argues for evaluating the impact of persuasive systems on users beyond metrics that focus on system usage, based on an interview study of 16 Wii Fit users. While explor...
Victoria Schwanda, Steven Ibara, Lindsay Reynolds,...
123
Voted
DASFAA
2011
IEEE
251views Database» more  DASFAA 2011»
14 years 4 months ago
Towards Web Search by Sentence Queries: Asking the Web for Query Substitutions
In this paper, we propose a method to search the Web for sentence substitutions for a given sentence query. Our method uses only lexico-syntactic patterns dynamically generated fro...
Yusuke Yamamoto, Katsumi Tanaka
DIMVA
2011
14 years 4 months ago
Operating System Interface Obfuscation and the Revealing of Hidden Operations
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
Abhinav Srivastava, Andrea Lanzi, Jonathon T. Giff...