3273 search results - page 48 / 655 » types 2007 |
110
click to vote
FUZZIEEE
2007
IEEE
15 years 8 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...
107
Voted
ECIR
2007
Springer
15 years 3 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 ...
130
click to vote
TACAS
2007
Springer
15 years 8 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...
114
click to vote
BMCBI
2004
15 years 1 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...
104
Voted
ENTCS
2007
15 years 1 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 ...