Sciweavers

4323 search results - page 267 / 865
» Callback Implementations in C
Sort
View
ENGL
2007
82views more  ENGL 2007»
15 years 4 months ago
Reduct Generation in Information Systems
— In any information system, the reducts are useful in classifying data. Janusz Starzyk developed an algorithm for computing reducts using strong equivalence and the law of expan...
G. Ganesan, D. Latha, C. Raghavendra Rao
MCS
2006
Springer
15 years 4 months ago
A fractional step lattice Boltzmann method for simulating high Reynolds number flows
A fractional step lattice Boltzmann scheme is presented to greatly improve the stability of the lattice Boltzmann method (LBM) in modelling incompressible flows at high Reynolds n...
C. Shu, X. D. Niu, Y. T. Chew, Q. D. Cai
RAS
2006
92views more  RAS 2006»
15 years 4 months ago
Trajectory generation and control for four wheeled omnidirectional vehicles
This paper describes an algorithm to calculate near-optimal minimum time trajectories for four wheeled omnidirectional vehicles, which can be used as part of a high-level path pla...
Oliver Purwin, Raffaello D'Andrea
TCS
2008
15 years 4 months ago
Lambda calculus with patterns
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
Jan Willem Klop, Vincent van Oostrom, Roel C. de V...
JAR
2007
90views more  JAR 2007»
15 years 4 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler