3690 search results - page 295 / 738 » Computation with classical sequents |
145
click to vote
NORDICHI
2006
ACM
15 years 11 months ago
2006
ACM
The focus of the research in human-computer interaction (HCI) continues to expand. One example of this is the growing interest in national and ethnic culture as a research topic. ...
146
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Documents are recommended by computer-based systems normally according to their prominence in the document reference network. Based on the requirements identified in a concrete u...
140
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
155
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose to use energy minimization in MRFs for matching-based image recognition tasks. To this end, the Tree-Reweighted Message Passing algorithm is modified by geometric cons...
152
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
Many classical graph visualization algorithms have already been developed over the past decades. However, these algorithms face difficulties in practice, such as the overlapping n...