733 search results - page 133 / 147 » Active Automation of the DITSCAP |
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
108
click to vote
MKM
2004
Springer
15 years 3 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
WEBI
2004
Springer
15 years 3 months ago
2004
Springer
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
ECCV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Image segmentation techniques typically require proper weighting of competing data fidelity and regularization terms. Conventionally, the associated parameters are set t...
COOPIS
2003
IEEE
15 years 2 months ago
2003
IEEE
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...