Sciweavers

6087 search results - page 696 / 1218
» Knowledge discovery methods
Sort
View
EUC
2006
Springer
15 years 10 months ago
Formulas and Protocols for Broadcasting in Mobile Ad Hoc Networks
An operation is called broadcasting if a node sends a packet to all other nodes in an ad hoc network. Broadcasting is an elementary operation to support many applications in ad hoc...
Chang Wu Yu, Cheng Yao Tseng
CVPR
2000
IEEE
15 years 10 months ago
Blind Recovery of Transparent and Semireflected Scenes
We present a method to recover scenes deteriorated by superposition of transparent and semi-reflected contributions, as appear in reflections off windows. Separating the superimpo...
Yoav Y. Schechner, Joseph Shamir, Nahum Kiryati
KBSE
2000
IEEE
15 years 10 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha
SAS
2000
Springer
124views Formal Methods» more  SAS 2000»
15 years 10 months ago
Code Specialization Based on Value Profiles
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
Robert Muth, Scott A. Watterson, Saumya K. Debray
ISSAC
1995
Springer
108views Mathematics» more  ISSAC 1995»
15 years 10 months ago
A Solution to the Extended GCD Problem
An improved method for expressing the greatest common divisor of n numbers as an integer linear combination of the numbers is presented and analyzed, both theoretically and practi...
Bohdan S. Majewski, George Havas