2012 search results - page 297 / 403 » CORAL - Control, Relations and Logic |
149
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
We are concerned with the extraction of tables from exchange format representations of very diverse composite documents. We put forward a flexible representation scheme for comple...
161
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
142
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
158
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
A core prescription from the knowledge management movement is that the successful management of organizational knowledge will prevent firms from “reinventing the wheel.” Infor...
182
click to vote
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...