1021 search results - page 127 / 205 » Concepts in Proof Planning |
VIS
2005
IEEE
14 years 10 months ago
2005
IEEE
We study the problem of visualizing large networks and develop es for effectively abstracting a network and reducing the size to a level that can be clearly viewed. Our size reduc...
MICCAI
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. In radiotherapy, the constant margin taken around the visible tumor is a very coarse approximation of the invasion margin of cancerous cells. In this article, a new formu...
ICML
2005
IEEE
14 years 9 months ago
2005
IEEE
The aim of this paper is to show that machine learning techniques can be used to derive a classifying function for human brain signal data measured by magnetoencephalography (MEG)...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We show how a number of novel email search features can be implemented without any kind of natural language processing (NLP) or advanced data mining. Our approach inspects the ema...