Sciweavers

8746 search results - page 540 / 1750
» Diversifying search results
Sort
View
WWW
2004
ACM
16 years 8 months ago
Query and content suggestion based on latent interest and topic class
To improve the process of user information retrieval, we propose the concept of a latent semantic map (LSM), along with a method of generating this map. The novel aspect of the LS...
Noriaki Kawaeme, Hideaki Suzuki, Osamu Mizuno
CADE
2007
Springer
16 years 7 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka
SIGMOD
2007
ACM
141views Database» more  SIGMOD 2007»
16 years 7 months ago
Assisted querying using instant-response interfaces
We demonstrate a novel query interface that enables users to construct a rich search query without any prior knowledge of the underlying schema or data. The interface, which is in...
Arnab Nandi, H. V. Jagadish
ECBS
2009
IEEE
120views Hardware» more  ECBS 2009»
16 years 2 months ago
Tuning Complex Sensornet Systems Using Principled Engineering Methods
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
Jonathan Tate, Iain Bate
EVOW
2009
Springer
16 years 2 months ago
Discrete Particle Swarm Optimization for Multiple Destination Routing Problems
This paper proposes a discrete particle swarm optimization (DPSO) to solve the multiple destination routing (MDR) problems. The problem has been proven to be NP-complete and the tr...
Zhi-hui Zhan, Jun Zhang