Sciweavers

6171 search results - page 443 / 1235
» The FrameNet Data and Software
Sort
View
IPM
2006
106views more  IPM 2006»
15 years 6 months ago
The information seeking behaviour of the users of digital scholarly journals
The article employs deep log analysis (DLA) techniques, a more sophisticated form of transaction log analysis, to demonstrate what usage data can disclose about information seekin...
David Nicholas, Paul Huntington, Hamid R. Jamali M...
152
Voted
VMCAI
2009
Springer
16 years 1 months ago
Deciding Extensions of the Theories of Vectors and Bags
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
Patrick Maier
COMPSAC
2008
IEEE
16 years 1 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
CSMR
2008
IEEE
16 years 1 months ago
Hecataeus: A What-If Analysis Tool for Database Schema Evolution
Databases are continuously evolving environments, where design constructs are added, removed or updated rather often. Small changes in the database configurations might impact a l...
George Papastefanatos, Fotini Anagnostou, Yannis V...
ICSM
2008
IEEE
16 years 1 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
Sriraman Tallam, Chen Tian, Rajiv Gupta