3868 search results - page 378 / 774 » Open Systems in TLA |
163
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
212
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
In today’s adaptive hypermedia systems, adaptivity is provided based on accumulative data gained from observing the user. User modelling, the capturing of information about the ...
140
click to vote
QOFIS
2001
Springer
15 years 11 months ago
2001
Springer
– Future wireless access system will have features and requirements that are quite distinct form current systems, mostly designed for telephony. Such features include higher band...
182
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Combining and utilizing data from different sources is a common problem in many companies today. Useful data can be found in various applications, such as spreadsheets, project ma...
227
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
Searching digital biomedical images is a challenging problem. Prevalent retrieval techniques involve human-supplied text annotations to describe image contents. Biomedical images,...