Sciweavers

476 search results - page 28 / 96
» Representation dependence testing using program inversion
Sort
View
CIMAGING
2010
189views Hardware» more  CIMAGING 2010»
13 years 9 months ago
Novel integro-differential equations in image processing and its applications
Motivated by the hierarchical multiscale image representation of Tadmor et al.,1 we propose a novel integrodifferential equation (IDE) for a multiscale image representation. To th...
Prashant Athavale, Eitan Tadmor
LREC
2010
202views Education» more  LREC 2010»
13 years 9 months ago
Can Syntactic and Logical Graphs help Word Sense Disambiguation?
This paper presents a word sense disambiguation (WSD) approach based on syntactic and logical representations. The objective here is to run a number of experiments to compare stan...
Amal Zouaq, Michel Gagnon, Benoît Ozell
SIGSOFT
1994
ACM
13 years 11 months ago
Speeding up Slicing
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genev...
ICFP
2009
ACM
14 years 2 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
EGICE
2006
13 years 11 months ago
Evolutionary Generation of Implicative Fuzzy Rules for Design Knowledge Representation
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
Mark Freischlad, Martina Schnellenbach-Held, Torbe...