10304 search results - page 1700 / 2061 » Computer science with the sciences: an emphasis in computati... |
182
click to vote
HICSS
2005
IEEE
16 years 12 days 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 ...
173
click to vote
LICS
2005
IEEE
16 years 11 days 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ā...
206
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a ļ¬nite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
174
Voted
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most signiļ¬ca...
284
click to vote
ITICSE
2005
ACM
16 years 10 days ago
2005
ACM
This paper describes the ļ¬rst version of P (read āP ļ¬atā), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...