3706 search results - page 357 / 742 » KtSeqC: System Description |
153
Voted
LCPC
1994
Springer
15 years 11 months ago
1994
Springer
We have recently introduced a new language, called Opus, which provides a set of Fortranlanguage extensions that allow for integrated support of task and data parallelism. It also...
157
click to vote
COLING
2008
15 years 8 months ago
2008
This article provides description about the grammar checking system developed for detecting various grammatical errors in Punjabi texts. This system utilizes a fullform lexicon fo...
166
click to vote
ICAI
2004
15 years 8 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
163
Voted
AAAI
1998
15 years 8 months ago
1998
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...
159
Voted
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...