1120 search results - page 113 / 224 » Making computer science minority-friendly |
112
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...
137
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
155
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
138
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Title of thesis: BOOTSTRAPPING FREE-SPACE OPTICAL NETWORKS Fang Liu, Master of Science, 2004 Thesis directed by: Professor Uzi Vishkin Department of Electrical and Computer Engine...
119
click to vote
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
The possibility of building self-aware software fascinated computer scientist since the beginning of computer science. Research in AI, and in particular on software agents, agent s...