3514 search results - page 66 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
102
click to vote
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
142
click to vote
ICVS
2001
Springer
15 years 6 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
111
click to vote
FPL
2007
Springer
15 years 7 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
132
click to vote
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Complexity has undesirable effects on, among others, the correctness, maintainability, and understandability of business process models. Yet, measuring complexity of business proce...
132
click to vote
ICML
2008
IEEE
2008
IEEE
A unified architecture for natural language processing: deep neural networks with multitask learning
16 years 2 months ago
We describe a single convolutional neural network architecture that, given a sentence, outputs a host of language processing predictions: part-of-speech tags, chunks, named entity...