Sciweavers

1990 search results - page 146 / 398
» Conceptual User Tracking
Sort
View
SAT
2010
Springer
158views Hardware» more  SAT 2010»
15 years 8 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
AIMSA
2010
Springer
15 years 6 months ago
Expressive Approximations in DL-Lite Ontologies
Abstract. Ontology based data access (OBDA) is concerned with providing access to typically very large data sources through a mediating conceptual layer that allows one to improve ...
Elena Botoeva, Diego Calvanese, Mariano Rodriguez-...
IQ
2001
15 years 5 months ago
Improving the Quality of Corporate Household Data: Current Practices and Research Directions
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
Stuart E. Madnick, Richard Y. Wang, Frank Dravis, ...
NAACL
2003
15 years 5 months ago
Automatic Extraction of Semantic Networks from Text using Leximancer
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
Andrew E. Smith
CHI
2010
ACM
15 years 4 months ago
America is like Metamucil: fostering critical and creative thinking about metaphor in political blogs
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
Eric P. S. Baumer, Jordan Sinclair, Bill Tomlinson