Sciweavers

108 search results - page 17 / 22
» A Knowledge-based Approach to Handling Exceptions in Workflo...
Sort
View
117
Voted
CVPR
2009
IEEE
16 years 4 months ago
View-Invariant Dynamic Texture Recognition using a Bag of Dynamical Systems
In this paper, we consider the problem of categorizing videos of dynamic textures under varying view-point. We propose to model each video with a collection of Linear Dynamics S...
Avinash Ravichandran, René Vidal, Rizwan Ch...
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
15 years 3 months ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....
IJAR
2007
86views more  IJAR 2007»
14 years 9 months ago
Non-deterministic semantics for logics with a consistency operator
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
Arnon Avron
IPPS
2010
IEEE
14 years 7 months ago
Parallel Task for parallelizing object-oriented desktop applications
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
Nasser Giacaman, Oliver Sinnen
JOT
2008
142views more  JOT 2008»
14 years 9 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...