6343 search results - page 1063 / 1269 » Development of a Cartographic Language |
135
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
134
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
137
Voted
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
146
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We study the general packing problem with M constraints. In [Jansen and Zhang, TCS 2002] a c(1 + ε)-approximation algorithm for the general packing problem was proposed. A block s...
138
click to vote
IJCNLP
2004
Springer
15 years 10 months ago
2004
Springer
Preparation of knowledge bank is a very difficult task. In this paper, we discuss the knowledge extraction from the manually examined Sinica Treebank. Categorical information, wor...