5550 search results - page 651 / 1110 » Different Approaches to Proof Systems |
208
click to vote
EDOC
2005
IEEE
16 years 24 days ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
215
click to vote
ICMCS
2005
IEEE
16 years 23 days ago
2005
IEEE
In this paper we propose a voting-based object boundary reconstruction approach. Tensor voting has been studied by many people recently, and it can be used for boundary estimation...
153
click to vote
SIGDOC
2005
ACM
16 years 22 days ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
229
click to vote
DAWAK
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper, we propose a novel mining task: mining frequent superset from the database of itemsets that is useful in bioinformatics, e-learning systems, jobshop schedu...
229
click to vote
ICRA
2003
IEEE
16 years 14 days ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...