Search Sciweavers | Sciweavers

32028 search results - page 361 / 6406

» Experimenting a

172

click to vote

ANSS
2001
IEEE

128views Modeling and Simulation» more ANSS 2001»

Some Modest Proposals for Simulation Software: Design and Analysis of Experiments

15 years 10 months ago

Download www.cba.uc.edu

Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...

W. David Kelton

claim paper

Read More »

154

click to vote

APSEC
2001
IEEE

97views Software Engineering» more APSEC 2001»

Model Checking Object-Z Classes: Some Experiments with FDR

15 years 10 months ago

Download www.itee.uq.edu.au

This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...

Geoff Kassel, Graeme Smith

claim paper

Read More »

182

click to vote

ASP
2001
Springer

160views Automated Reasoning» more ASP 2001»

Effect of knowledge representation on model based planning: experiments using logic programming encodings

15 years 10 months ago

Download www.aaai.org

In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...

Le-Chi Tuan, Chitta Baral

claim paper

Read More »

122

click to vote

ASPDAC
2001
ACM

75views Hardware» more ASPDAC 2001»

Multi-hit time-to-digital converter VLSI for high-energy physics experiments

15 years 10 months ago

Download www.cecs.uci.edu

Yasuo Arai

claim paper