1133 search results - page 146 / 227 » Local Logics for Traces |
145
click to vote
FM
2009
Springer
16 years 27 days ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
171
click to vote
FUZZIEEE
2007
IEEE
16 years 20 days ago
2007
IEEE
In this paper, we present a local, adaptive optimization scheme for adjusting the number of clusters in fuzzy C-means clustering. This method is especially motivated by online app...
136
click to vote
IWCIA
2004
Springer
15 years 11 months ago
2004
Springer
Using stereo vision in the field of mapping and localization is an intuitive idea, as demonstrated by the number of animals that have developed the ability. Though it seems logica...
142
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
276
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...