11345 search results - page 2007 / 2269 » Foundations of Computer Science |
115
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Studies have shown that deception in the hiring process is common. Since more people are using computer mediated communication for job interviewing, it is important to understand ...
121
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Transcoding is an important technology which adapts the same multimedia object to diverse mobile appliances; thus, users’ requests for a specified version of a multimedia objec...
127
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
The paper presents a usability study conducted with graduate and undergraduate computer science students, designed to evaluate the effectiveness of a software visualization tool n...
119
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
107
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...