Sciweavers

2765 search results - page 509 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
ICST
2009
IEEE
15 years 5 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser
CIKM
2008
Springer
15 years 1 months ago
Academic conference homepage understanding using constrained hierarchical conditional random fields
We address the problem of academic conference homepage understanding for the Semantic Web. This problem consists of three labeling tasks - labeling conference function pages, func...
Xin Xin, Juanzi Li, Jie Tang, Qiong Luo
JFP
2000
91views more  JFP 2000»
14 years 11 months ago
Uniform confluence in concurrent computation
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
Joachim Niehren
82
Voted
DATE
2008
IEEE
165views Hardware» more  DATE 2008»
15 years 5 months ago
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
Per Lindgren, Johan Eriksson, Simon Aittamaa, Joha...
IPM
2007
123views more  IPM 2007»
14 years 11 months ago
Generating gene summaries from biomedical literature: A study of semi-structured summarization
Most knowledge accumulated through scientific discoveries in genomics and related biomedical disciplines is buried in the vast amount of biomedical literature. Since understandin...
Xu Ling, Jing Jiang, Xin He, Qiaozhu Mei, Chengxia...