2496 search results - page 90 / 500 » Error-detecting properties of languages |
167
click to vote
DLT
2009
15 years 3 months ago
2009
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
149
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
151
click to vote
LATIN
2010
Springer
16 years 21 days ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
177
click to vote
ICMI
2005
Springer
15 years 11 months ago
2005
Springer
Sign language recognition (SLR) plays an important role in human-computer interaction (HCI), especially for the convenient communication between deaf and hearing society. How to e...
174
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...