6438 search results - page 162 / 1288 » A Parameterised Search System |
150
click to vote
IJCSA
2006
15 years 4 months ago
2006
According to statistics, the rate of having cancer is relatively high for people in developing and developed countries. So cancer can be called as the enemy of human health. With ...
128
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
125
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this contribution we present a novel ant colony optimization (ACO) based multi-user detector (MUD) designed for synchronous multi-carrier direct sequence code divisi...
116
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
121
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...