46 search results - page 5 / 10 » Computer Science, Logic, Informatics Education |
84
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case b...
169
Voted
ACMSE
2011
ACM
13 years 9 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
138
click to vote
Lab
www.cbl.uh.edu The Computational Biomedicine Lab (CBL) was established in 1997 at the University of Houston and is committed to excellence in image analysis, with an emphasis on ap...
ENTCS
2007
14 years 9 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
CLEIEJ
2010
14 years 7 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...