8636 search results - page 1463 / 1728 » How Developers Copy |
154
Voted
AAAI
2010
15 years 1 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
142
click to vote
AIRS
2010
Springer
15 years 1 months ago
2010
Springer
Machine learning algorithms in various forms are now increasingly being used on a variety of portable devices, starting from cell phones to PDAs. They often form a part of standard...
137
click to vote
AISS
2010
15 years 1 months ago
2010
In recent years, e-government interoperability frameworks (e-GIFs) and enterprise architectures (EAs) have been extensively developed as mechanism tools for achieving the interope...
145
click to vote
DEBU
2010
15 years 1 months ago
2010
Sharing structured data today requires agreeing on a standard schema, then mapping and cleaning all of the data to achieve a single queriable mediated instance. However, for setti...
196
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...