10997 search results - page 1900 / 2200 » On the Structure of Complete Sets |
192
click to vote
ANNPR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
204
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
167
Voted
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications in terms of functionality as well as new properties as plasticity. The plasticity of a UI deno...
187
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In environments which possess relatively few features that enable a robot to unambiguously determine its location, global localization algorithms can result in multiple hypotheses...
202
Voted
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...