1754 search results - page 48 / 351 » What's new in informatics |
AAAI
2000
13 years 9 months ago
2000
The ontology used by most card catalog and bibliographic systems is based on a now outdated assumption that users of the systems would be looking for books on shelves, and therefo...
CL
2000
Springer
13 years 7 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
INFORMATICALT
2007
13 years 7 months ago
2007
Abstract. Deniable authenticated protocol is a new cryptographic authentication protocol that enables a designated receiver to identify the source of a given message without being ...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
Suffice to say that I'm leaving in large part because it's not much fun any more, and the directions of the university are not mine. I'm not the first, and I won�...
ICIP
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper discusses the disadvantages of several existing objective quality evaluation methods for frame interpolation techniques. Samples show that these disadvantages lead the ...