Sciweavers

2833 search results - page 372 / 567
» Visualization for information exploration and analysis
Sort
View
ENTCS
2010
133views more  ENTCS 2010»
13 years 4 months ago
Inference of Session Types From Control Flow
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
Peter Collingbourne, Paul H. J. Kelly
DAWAK
2007
Springer
14 years 3 months ago
OLAP Technology for Business Process Intelligence: Challenges and Solutions
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
MM
2005
ACM
181views Multimedia» more  MM 2005»
14 years 2 months ago
Tracking news stories across different sources
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
Yun Zhai, Mubarak Shah
NAR
2008
87views more  NAR 2008»
13 years 9 months ago
The CGView Server: a comparative genomics tool for circular genomes
The CGView Server generates graphical maps of circular genomes that show sequence features, base composition plots, analysis results and sequence similarity plots. Sequences can b...
Jason R. Grant, Paul Stothard
CACM
2010
161views more  CACM 2010»
13 years 7 months ago
Efficiently searching for similar images
As it becomes increasingly viable to capture, store, and share large amounts of image and video data, automatic image analysis is crucial to managing visual information. Many prob...
Kristen Grauman