2920 search results - page 406 / 584 » Finite information logic |
185
click to vote
SSDBM
1999
IEEE
15 years 11 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
156
click to vote
AGP
1998
IEEE
15 years 11 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
163
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
193
click to vote
DBSEC
2008
15 years 8 months ago
2008
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
187
click to vote
WM
2003
15 years 8 months ago
2003
The Information Society relies more and more on the co-operation and collaboration of multidisciplinary people who need to communicate and share information. Communication and kno...