10916 search results - page 184 / 2184 » On Constructive Connectives and Systems |
204
click to vote
JISE
2007
15 years 6 months ago
2007
This paper presents an interactive query expansion method with association thesaurus, which is mined from the ‘selected web pages’ of users in the query logs. The ‘selected w...
142
click to vote
RP
2010
Springer
15 years 4 months ago
2010
Springer
Chrobak (1986) proved that a language accepted by a given nondeterministic finite automaton with one-letter alphabet, i.e., a unary NFA, with n states can be represented as the uni...
188
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The purpose of this contribution is twofold: 1) to present for the first time a Lyapunov function that proves exponential ergodicity of a process studied by the authors in [1], whe...
156
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
Indoor spaces pose many challenges for spatial information systems, amongst them appropriate spatial communication. Compared to typical outdoor spaces, indoor spaces are clustered...
142
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a human machine interaction application for building panoramic views easily and efficiently. The panoramas are not limited to the 1D problem (one axis of rot...