3161 search results - page 305 / 633 » A Discourse on Complexity of Process Models |
157
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
126
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
The automatic detection of plagiarism is a task that has acquired relevance in the Information Retrieval area and it becomes more complex when the plagiarism is made in a multiling...
140
click to vote
AAAI
2000
15 years 5 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
131
click to vote
WCE
2007
15 years 5 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
179
click to vote
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
Human pose estimation is the task of determining the states (location, orientation and scale) of each body part. It is important for many vision understanding applications, e.g. v...