Sciweavers

2050 search results - page 57 / 410
» constraints 2010
Sort
View
PTS
2010
147views Hardware» more  PTS 2010»
13 years 6 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
SCL
2010
102views more  SCL 2010»
13 years 6 months ago
Distributed control of triangular formations with angle-only constraints
—This paper considers the coupled formation control of three mobile agents moving in the plane. Each agent has only local inter-agent bearing knowledge and is required to maintai...
Meysam Basiri, Adrian N. Bishop, Patric Jensfelt
CP
2010
Springer
13 years 5 months ago
Ensemble Classification for Constraint Solver Configuration
The automatic tuning of the parameters of algorithms and automatic selection of algorithms has received a lot of attention recently. One possible approach is the use of machine lea...
Lars Kotthoff, Ian Miguel, Peter Nightingale
NAACL
2010
13 years 5 months ago
Constraint-Driven Rank-Based Learning for Information Extraction
Most learning algorithms for undirected graphical models require complete inference over at least one instance before parameter updates can be made. SampleRank is a rankbased lear...
Sameer Singh, Limin Yao, Sebastian Riedel, Andrew ...
CORR
2010
Springer
147views Education» more  CORR 2010»
13 years 5 months ago
Matching Dependencies with Arbitrary Attribute Values: Semantics, Query Answering and Integrity Constraints
Matching dependencies (MDs) are used to declaratively specify the identification (or matching) of certain attribute values in pairs of database tuples when some similarity conditi...
Jaffer Gardezi, Leopoldo E. Bertossi, Iluju Kiring...