Results 251 to 260 of about 2,908,953 (289)
Some of the next articles are maybe not open access.
A protocol test generation procedure
Computer Networks and ISDN Systems, 1988Abstract A procedure presented here generates test sequences for checking the conformity of an implementation to the control portion of a protocol specification, which is modeled as a deterministic finite-state machine (FSM). A test sequence generated by the procedure given here tours all state transitions and uses a unique signature for each state ...
Krishan K. Sabnani, Anton T. Dahbura
openaire +1 more source
Palliative General Surgical Procedures
Surgical Oncology Clinics of North America, 2001Two types of procedure may be indicated in incurable patients. The first is palliative, in which the goal of intervention is relief of symptoms. The second type is supportive, where the procedure is a technical intervention done as part of a multidisciplinary treatment plan. The most minimally invasive but effective procedure is chosen.
A M, Easson, M, Asch, C J, Swallow
openaire +2 more sources
Procedural generation of rollercoasters
2023 IEEE Conference on Games (CoG), 2023Jonathan Campbell, Clark Verbrugge
openaire +1 more source
2023 IEEE 17th International Symposium on Applied Computational Intelligence and Informatics (SACI), 2023
Barnabás Erdei, Sándor Szénási
openaire +2 more sources
Barnabás Erdei, Sándor Szénási
openaire +2 more sources
General Multistage Gatekeeping Procedures
Biometrical Journal, 2008AbstractA general multistage (stepwise) procedure is proposed for dealing with arbitrary gatekeeping problems including parallel and serial gatekeeping. The procedure is very simple to implement since it does not require the application of the closed testing principle and the consequent need to test all nonempty intersections of hypotheses. It is based
Alex, Dmitrienko +2 more
openaire +2 more sources
Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems, 2002This paper focuses on a generalization of the notion of electronic trade procedures. Instead of designing specific trade procedures for each possible variation of a transaction, we develop a generative grammar formalism that defines entire families of related trade procedures.
openaire +3 more sources
A generalization of the charge iteration procedure
IEEE Transactions on Magnetics, 1997Charge iteration is an FEM procedure, devised by the authors for the computation of electrical fields in open boundary domains. In the procedure, a closed fictitious boundary is introduced enclosing all the conductors. On this boundary the electrical potential is first guessed and then iteratively improved according to the current solution by means of ...
AIELLO, Giovanni +4 more
openaire +3 more sources
Procedural Generation of landmasses and terrain
RoCHI - International Conference on Human-Computer Interaction, 2023Adrian Pop +3 more
openaire +2 more sources
Exploring the Union Between Procedural Narrative and Procedural Content Generation
Lecture Notes in Computer Science, 2023Joshua McCoy
exaly