2989 search results - page 453 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
111
click to vote
PLDI
2011
ACM
14 years 25 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
178
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Many applications require finding objects closest to a specified location that contains a set of keywords. For example, online yellow pages allow users to specify an address and a ...
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This work is part of a project that aims to develop and operate integrated evolvable hardware systems using unconstrained evolution. Experiments are carried out on an evolvable...
103
click to vote
ICA
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes a new blind source separation method for instantaneous linear mixtures. This new method coined GMCA (Generalized Morphological Component Analysis) relies on mo...
ROBOCUP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Self-localization in dynamic environments is a central problem in mobile robotics and is well studied in the literature. One of the most popular methods is the Monte Carl...