6306 search results - page 328 / 1262 » Space, Time, and the Use of Language |
211
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
227
Voted
ISADS
2003
IEEE
16 years 24 days ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
240
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
219
click to vote
COGSCI
2004
15 years 7 months ago
2004
Disfluencies include editing terms such as uh and um as well as repeats and revisions. Little is known about how disfluencies are processed, and there has been next to no research...
185
Voted
CLEIEJ
2002
15 years 7 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...