2909 search results - page 382 / 582 » Consistency of the theory of contexts |
171
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
165
click to vote
BTW
2007
Springer
16 years 23 days ago
2007
Springer
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
178
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
181
click to vote
CIKM
2007
Springer
16 years 23 days ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...
203
click to vote
IFM
2007
Springer
16 years 22 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...