3221 search results - page 564 / 645 » Termination of Linear Programs |
170
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: Security of computers and the networks that connect them is increasingly becoming of great significance. Computer security is defined as the protection of computing systems again...
176
click to vote
CONCURRENCY
2000
15 years 6 months ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
158
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
151
click to vote
EOR
2000
15 years 6 months ago
2000
This contribution describes a general mixed-integer linear programming model based on a time-indexed formulation covering the relevant features required for the complete supply ch...
163
click to vote
DATAMINE
2002
15 years 6 months ago
2002
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...