Sciweavers

4895 search results - page 879 / 979
» Tools for Grammar Engineering
Sort
View
ICDE
2011
IEEE
217views Database» more  ICDE 2011»
14 years 1 months ago
T-verifier: Verifying truthfulness of fact statements
— The Web has become the most popular place for people to acquire information. Unfortunately, it is widely recognized that the Web contains a significant amount of untruthful inf...
Xian Li, Weiyi Meng, Clement T. Yu
CCGRID
2010
IEEE
14 years 1 months ago
WORKEM: Representing and Emulating Distributed Scientific Workflow Execution State
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
Lavanya Ramakrishnan, Dennis Gannon, Beth Plale
CHB
2011
183views more  CHB 2011»
14 years 1 months ago
Towards an ICT-based psychology: E-psychology
Cognitive science is the scientific domain which studies, analyses, simulates and infers for various aspects, functions and procedures of human mentality such as, thinking, logic, ...
Athanasios Drigas, Lefteris Koukianakis, Yannis Pa...
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
14 years 1 months ago
Incremental Updates for View-Based Textual Modelling
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Thomas Goldschmidt, Axel Uhl
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
14 years 21 days ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li