7311 search results - page 1111 / 1463 » Time in State Machines |
193
click to vote
ICLP
1992
Springer
15 years 11 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
219
click to vote
ECLIPSE
2007
ACM
15 years 11 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
210
click to vote
EDUTAINMENT
2007
Springer
15 years 11 months ago
2007
Springer
High compression of plant geometry is an important aspect in fast realistic visualization of plants. Hierarchical structuring plant morphology is a key factor for real time plant r...
218
click to vote
AINA
2004
IEEE
15 years 11 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
209
click to vote
DSMML
2004
Springer
15 years 11 months ago
2004
Springer
The arithmetic-coding-based communication system, Dasher, can be driven by a one-dimensional continuous signal. A belt-mounted breath-mouse, delivering a signal related to lung vol...