3818 search results - page 480 / 764 » Learning from Order Examples |
135
click to vote
TABLEAUX
1998
Springer
15 years 9 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
133
click to vote
CSCW
1996
ACM
15 years 9 months ago
1996
ACM
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...
150
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
141
click to vote
CANDT
2009
15 years 8 months ago
2009
The fundamental challenge for social computing is to contribute to fostering communities in which humans can transcend the limitation of the unaided, individual human mind by help...
144
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
When reading a document, we intuitively have a first global approach in order to determine the whole structure, before reading parts in details. We propose to apply the same kind ...