Sciweavers

642 search results - page 99 / 129
» A Semantic Future for AI
Sort
View
DSS
2006
93views more  DSS 2006»
13 years 10 months ago
Merging workflows: A new perspective on connecting business processes
This paper describes the concept of workflow merge and methods for merging business processes. We grouped merges in four categories according to the type of merge: sequential, par...
Shuang Sun, Akhil Kumar, John Yen
ENTCS
2007
104views more  ENTCS 2007»
13 years 10 months ago
Algorithmic Debugging of Java Programs
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
Rafael Caballero, Christian Hermanns, Herbert Kuch...
MTA
2007
113views more  MTA 2007»
13 years 9 months ago
A framework for a video analysis tool for suspicious event detection
This paper proposes a framework to aid video analysts in detecting suspicious activity within the tremendous amounts of video data that exists in today’s world of omnipresent su...
Gal Lavee, Latifur Khan, Bhavani M. Thuraisingham
ACL
2010
13 years 8 months ago
Beyond NomBank: A Study of Implicit Arguments for Nominal Predicates
Despite its substantial coverage, NomBank does not account for all withinsentence arguments and ignores extrasentential arguments altogether. These arguments, which we call implic...
Matthew Gerber, Joyce Yue Chai
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
13 years 7 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...