1713 search results - page 131 / 343 » Analysis of Procedure Splitability |
IJCSA
2006
13 years 10 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We present and analyse a Monte-Carlo algorithm to compute the minimal polynomial of an n × n matrix over a finite field that requires O(n3 ) field operations and O(n) random v...
NPL
2006
13 years 10 months ago
2006
The correct assessment of meat quality (i.e., to fulfill the consumer's needs) is crucial element within the meat industry. Although there are several factors that affect the ...
SOSYM
2008
13 years 10 months ago
2008
The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts...
JCC
2007
13 years 10 months ago
2007
Abstract: A novel self-organizing algorithm for conformational sampling is introduced, in which precomputed conformations of rigid fragments are used as templates to enforce the de...