7661 search results - page 1486 / 1533 » Languages and the Computing Profession |
159
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
- A phoneme-acquisition system was developed using a computational model that explains the developmental process of human infants in the early period of acquiring language. There a...
151
click to vote
ISCA
2009
IEEE
15 years 10 months ago
2009
IEEE
The advent of multicores has introduced new challenges for programmers to provide increased performance and software reliability. There has been significant interest in technique...
160
Voted
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
168
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
145
Voted
MICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...