411 search results - page 74 / 83 » Algebraic Imperative Specifications |
127
click to vote
CAD
1999
Springer
15 years 1 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
135
click to vote
JOT
2010
15 years 10 days ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
117
Voted
EMNLP
2010
14 years 12 months ago
2010
Named-entity recognition (NER) is an important task required in a wide variety of applications. While rule-based systems are appealing due to their well-known "explainability...
135
click to vote
ER
2010
Springer
14 years 12 months ago
2010
Springer
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
127
click to vote
FUIN
2010
14 years 11 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...