4288 search results - page 365 / 858 » Domesticating Computers and the Internet |
183
click to vote
KI
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
176
click to vote
ICMCS
2000
IEEE
16 years 6 hour ago
2000
IEEE
With the widespread availability of multimedia sensors, increased computational power, and bandwidth, a new paradigm is emerging – converting real world events into multimedia e...
148
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
A digitization project in progress carried out by the Mathematical Institute of the Serbian Academy of Sciences, Belgrade (http://www.mi.sanu.ac.yu) and the Faculty of Mathematics...
195
click to vote
CARDIS
2006
Springer
15 years 11 months ago
2006
Springer
On-line casinos have experienced a great expansion since the generalized use of Internet started. There exist in the literature several proposals of systems allowing secure remote ...
204
click to vote
FC
2008
Springer
15 years 9 months ago
2008
Springer
Governments and commercial companies connect more and more computer systems to the Internet, giving people easier access to services. Many of these online services handle personal ...