Search Sciweavers | Sciweavers

11455 search results - page 68 / 2291

» The Rayset and Its Applications

click to vote

AISADM
2005
Springer

166views Intelligent Agents» more AISADM 2005»

A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes

14 years 3 months ago

Download pages.cpsc.ucalgary.ca

Abstract. We present CoLe, a model for cooperative agents for mining knowledge from heterogeneous data. CoLe allows for the cooperation of diﬀerent mining agents and the combinat...

Jie Gao, Jörg Denzinger, Robert C. James

claim paper

Read More »

click to vote

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

14 years 3 months ago

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

claim paper

Read More »

click to vote

CAIP
2005
Springer

159views Image Analysis» more CAIP 2005»

Color Transfer Using Motion Estimations and Its Application to Video Compression

14 years 3 months ago

Download people.seas.harvard.edu

In this paper a novel scheme for colored video compression using color transfer techniques is proposed. Color transfer for video sequences is made more accurate by incorporation of...

Ritwik K. Kumar, Suman K. Mitra

claim paper

Read More »

click to vote

CAV
2005
Springer

89views Hardware» more CAV 2005»

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

14 years 3 months ago

Download www.lsi.upc.es

Robert Nieuwenhuis, Albert Oliveras

claim paper

Read More »