7892 search results - page 326 / 1579 » Programming with Models |
101
click to vote
EUROGP
2004
Springer
15 years 7 months ago
2004
Springer
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
113
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
111
Voted
ASP
2001
Springer
15 years 6 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
124
click to vote
ICDCS
1998
IEEE
15 years 6 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
119
click to vote
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...