3273 search results - page 48 / 655 » types 2007 |
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
106
click to vote
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
101
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Multi-locus sequence typing (MLST) is a method of typing that facilitates the discrimination of microbial isolates by comparing the sequences of housekeeping gene frag...
ENTCS
2007
14 years 11 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...