Sciweavers

1955 search results - page 155 / 391
» Can Computers Handle Adverbs
Sort
View
CN
1999
88views more  CN 1999»
15 years 4 months ago
Formsheets and the XML Forms Language
This paper presents XForm -- a proposal for a general and powerful mechanism for handling forms in XML. XForm defines form -- related constructs independent of any particular XML ...
Anders Kristensen
PTS
2010
147views Hardware» more  PTS 2010»
15 years 3 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
ICIP
2010
IEEE
15 years 2 months ago
OmniSIFT: Scale invariant features in omnidirectional images
We propose a method to compute scale invariant features in omnidirectional images. We present a formulation based on Riemannian geometry for the definition of differential operato...
Zafer Arican, Pascal Frossard
VLSID
2002
IEEE
129views VLSI» more  VLSID 2002»
16 years 5 months ago
Efficient Generation of Delay Change Curves for Noise-Aware Static Timing Analysis
In this paper, we explore the concept of using analytical models to efficiently generate delay change curves (DCCs) that can then be used to characterize the impact of noise on an...
Kanak Agarwal, Yu Cao, Takashi Sato, Dennis Sylves...
SDM
2009
SIAM
162views Data Mining» more  SDM 2009»
16 years 1 months ago
Link Propagation: A Fast Semi-supervised Learning Algorithm for Link Prediction.
We propose Link Propagation as a new semi-supervised learning method for link prediction problems, where the task is to predict unknown parts of the network structure by using aux...
Hisashi Kashima, Tsuyoshi Kato, Yoshihiro Yamanish...