2586 search results - page 43 / 518 » Automatic Abstraction for Congruences |
PCM
2001
Springer
2001
Springer
Automatic Subject Categorization of Query Terms for Filtering Sensitive Queries in Multimedia Search
13 years 12 months ago
Abstract. The purpose of this paper is to deal with Web query categorization problem. It will present a feasible approach to categorizing Web query terms into pre-defined subject ...
CODES
1997
IEEE
13 years 11 months ago
1997
IEEE
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
AMI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
IC
2003
13 years 8 months ago
2003
Abstract— Marshaling or serialization of objects is an important component of both distributed and parallel computing. Current systems impose a significant burden on the program...
SMC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—In our previous paper, we proposed a new classification technique called the Frequency Ratio Accumulation Method (FRAM). This is a simple technique that adds up the rat...