Sciweavers

4048 search results - page 608 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
AVI
2010
15 years 5 months ago
Deep Diffs: visually exploring the history of a document
Software tools are used to compare multiple versions of a textual document to help a reader understand the evolution of that document over time. These tools generally support the ...
Ross Shannon, Aaron J. Quigley, Paddy Nixon
AVI
2006
15 years 5 months ago
Task-at-hand interface for change detection in stock market data
Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...
Carmen Sanz Merino, Mike Sips, Daniel A. Keim, Chr...
135
Voted
AVI
1996
15 years 5 months ago
Table lens as a tool for making sense of data
The Table Lens is a visualization for searching for patterns and outliers in multivariate datasets. It supports a lightweight form of exploratory data analysis (EDA) by integratin...
Peter Pirolli, Ramana Rao
C3S2E
2010
ACM
15 years 5 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
IJAOSE
2008
97views more  IJAOSE 2008»
15 years 4 months ago
Formal driven prototyping approach for multiagent systems
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
Vincent Hilaire, Pablo Gruer, Abderrafiaa Koukam, ...