1354 search results - page 88 / 271 » Comparing Agent-Oriented Methodologies |
MICRO
2010
IEEE
13 years 6 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper, we introduce a new image descriptor for broad Image Categorization, the Progressive Randomization (PR), that uses perturbations on the values of the Least Significa...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
The leading voice is an important feature of musical piece and can often be considered as the dominant harmonic source. We propose in this paper a new scheme for the purpose of ef...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, a framework of designing a low-error and power-efficient two’s-complement fixed-width Booth multiplier that receives two n-bit numbers and produces an n-bit produ...
PKDD
2005
Springer
14 years 2 months ago
2005
Springer
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...