300 search results - page 8 / 60 » Computer science: past, present, and future |
GRC
2007
IEEE
14 years 1 months ago
2007
IEEE
The year 2007 marks the 10th anniversary of the introduction of granular computing research. We have experienced the emergence and growth of granular computing research in the pas...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
Most courses on Discrete Mathematics are designed to emphasize problem solving, in general. When the goal is to cover the content, the learning and understanding takes a second pl...
ICALP
2009
Springer
14 years 7 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
ACTA
2010
13 years 7 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
GI
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. The interdisciplinary HERON project investigates the impact of multimedia applications from the humanities, in particular heraldry, on future database technology. We pres...