Sciweavers

445 search results - page 79 / 89
» A Systematic Construction of Abstract Domains
Sort
View
IJWET
2010
86views more  IJWET 2010»
13 years 2 months ago
Semi-automatic financial events discovery based on lexico-semantic patterns
: Due to the market sensitivity to emerging news, investors on financial markets need to continuously monitor financial events when deciding on buying and selling equities. We prop...
Jethro Borsje, Frederik Hogenboom, Flavius Frasinc...
ICFP
2009
ACM
14 years 8 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
SEMWEB
2009
Springer
14 years 2 months ago
A Database Backend for OWL
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...
Jörg Henss, Joachim Kleb, Stephan Grimm
NDJFL
2000
97views more  NDJFL 2000»
13 years 7 months ago
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
Crispin Wright
VIS
2008
IEEE
162views Visualization» more  VIS 2008»
14 years 8 months ago
Geodesic Distance-weighted Shape Vector Image Diffusion
Abstract--This paper presents a novel and efficient surface matching and visualization framework through the geodesic distanceweighted shape vector image diffusion. Based on confor...
Jing Hua, Zhaoqiang Lai, Ming Dong, Xianfeng Gu...