Sciweavers

789 search results - page 105 / 158
» Solving Complex Problems Efficiently with Adaptive Automata
Sort
View
ICDE
2001
IEEE
159views Database» more  ICDE 2001»
16 years 3 months ago
Workflow and Process Synchronization with Interaction Expressions and Graphs
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
Christian Heinlein
ICMCS
2006
IEEE
151views Multimedia» more  ICMCS 2006»
15 years 8 months ago
Support Vector Machine for Multiple Feature Classifcation
In this paper an effective method of using SVM classifier for multiple feature classification is proposed. Compared with traditional combination methods where all needed base clas...
Bing-Yu Sun, Moon-Chuen Lee
IVS
2002
106views more  IVS 2002»
15 years 1 months ago
Pixel bar charts: a visualization technique for very large multi-attribute data sets?
Simple presentation graphics are intuitive and easy-to-use, but show only highly aggregated data presenting only a very small number of data values (as in the case of bar charts) ...
Daniel A. Keim, Ming C. Hao, Umeshwar Dayal, Meich...
IPPS
2010
IEEE
14 years 12 months ago
Large-scale multi-dimensional document clustering on GPU clusters
Document clustering plays an important role in data mining systems. Recently, a flocking-based document clustering algorithm has been proposed to solve the problem through simulat...
Yongpeng Zhang, Frank Mueller, Xiaohui Cui, Thomas...
SIGSOFT
2007
ACM
16 years 2 months ago
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...