17450 search results - page 3472 / 3490 » Numerical Methods with Applications |
129
click to vote
CANDC
2009
ACM
14 years 9 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
100
Voted
CLEF
2009
Springer
14 years 9 months ago
2009
Springer
: This paper presents the results of a user study conducted in the framework of the Interactive Image Retrieval task at CLEF 2009. The main goal of our research is to understand th...
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
109
click to vote
ICMLA
2009
14 years 9 months ago
2009
Abstract--In this paper we apply classification to learn geographic regions using Location Based Services (LBS) in Next Generation Networks (NGN). We assume that the information in...
116
click to vote
ICPPW
2009
IEEE
14 years 9 months ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...