7529 search results - page 107 / 1506 » The Modula-3 Type System |
131
click to vote
ENTCS
2010
15 years 4 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
137
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...
123
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
179
click to vote
SAS
1994
Springer
15 years 8 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
151
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Content-based classification of audio data is an important problem for various applications such as overall analysis of audio-visual streams, boundary detection of video story se...