2527 search results - page 48 / 506 » Aging in language dynamics |
POPL
2005
ACM
14 years 8 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
JUCS
2006
13 years 7 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
AADEBUG
1997
Springer
14 years 2 days ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
SAC
2002
ACM
13 years 7 months ago
2002
ACM
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect an...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This study presents new advancements in our articulatory-based language identi cation (LID) system. Our LID system automatically identi es language-features (LFs) from a phonologi...