Sciweavers

4128 search results - page 216 / 826
» Learning and using relational theories
Sort
View
DIMVA
2006
15 years 8 months ago
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Kar...
AEI
2004
78views more  AEI 2004»
15 years 6 months ago
Use of design patterns in analogy-based design
atterns specify generic relations among abstract design elements. We hypothesize that design patterns are productive units of analogical transfer in design. We describe a normativ...
Ashok K. Goel, Sambasiva R. Bhatta
ICASSP
2011
IEEE
14 years 10 months ago
Single target tracking using vector magnetometers
With the electromagnetic theory as basis, we present a sensor model for three-axis magnetometers suitable for localization and tracking applications. The model depends on a physic...
Niklas Wahlstrom, Jonas Callmer, Fredrik Gustafsso...
GECCO
2006
Springer
153views Optimization» more  GECCO 2006»
15 years 10 months ago
Analysis of the difficulty of learning goal-scoring behaviour for robot soccer
Learning goal-scoring behaviour from scratch for simulated robot soccer is considered to be a very difficult problem, and is often achieved by endowing players with an innate set ...
Jeff Riley, Victor Ciesielski
NIPS
2000
15 years 8 months ago
High-temperature Expansions for Learning Models of Nonnegative Data
Recent work has exploited boundedness of data in the unsupervised learning of new types of generative model. For nonnegative data it was recently shown that the maximum-entropy ge...
Oliver B. Downs