1634 search results - page 111 / 327 » Reasoning about Knowledge Using Rough Sets |
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
WCRE
2003
IEEE
14 years 3 months ago
2003
IEEE
There are many reasons why reverse engineering research tools often fail to be evaluated or adopted in industry. Their rough user interfaces and poor interoperability are just two...
TSP
2008
13 years 10 months ago
2008
Abstract--We consider the adaptive detection of a signal of interest embedded in colored noise, when the environment is nonhomogeneous, i.e., when the training samples used for ada...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
—Today most home networks are connected to the Internet via Network Address Translation (NAT) devices. NAT is an obstacle for services that should be accessible from the public I...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...