Sciweavers

1317 search results - page 121 / 264
» A Technique for Constructing Developable Surfaces
Sort
View
MTA
2008
134views more  MTA 2008»
15 years 4 months ago
A survey of content based 3D shape retrieval methods
Recent developments in techniques for modeling, digitizing and visualizing 3D shapes has led to an explosion in the number of available 3D models on the Internet and in domain-spe...
Johan W. H. Tangelder, Remco C. Veltkamp
AIED
2005
Springer
15 years 10 months ago
An Agent-based Approach to Assisting Learners to Dynamically Adjust Learning Processes
This paper presents an agent-based approach to assisting learners to dynamically adjust learning processes. The online learning process is first investigated where the importance ...
Weidong Pan
ICFEM
2004
Springer
15 years 10 months ago
From Circus to JCSP
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
Marcel Oliveira, Ana Cavalcanti
ISIPTA
2003
IEEE
147views Mathematics» more  ISIPTA 2003»
15 years 10 months ago
Reducing Uncertainty by Imprecise Judgements on Probability Distributions: Application to System Reliability
In this paper the judgement consisting in choosing a function that is believed to dominate the true probability distribution of a continuous random variable is explored. This kind...
Igor Kozine, V. Krymsky
ACSAC
2000
IEEE
15 years 9 months ago
Two State-based Approaches to Program-based Anomaly Detection
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
Christoph C. Michael, Anup K. Ghosh