Sciweavers

9425 search results - page 350 / 1885
» Some Notes on Models and Modelling
Sort
View
135
Voted
HLK
2003
IEEE
15 years 10 months ago
Interactive 3D Building Modeling Using a Hierarchical Representation
Modeling and visualization of city scenes is important for many applications including entertainment and urban mission planning. Models covering wide areas can be efficiently cons...
Sung Chun Lee, Ramakant Nevatia
IS4TH
2003
Springer
15 years 9 months ago
Modelling of Facial Soft Tissue Growth for Maxillofacial Surgery Planning Environments
When maxillofacial surgery is proposed as a treatment for a patient, the type of osteotomy and its influence on the facial contour is of major interest. To design the optimal surg...
Patrick Vandewalle, Filip Schutyser, Johan Van Cle...
119
Voted
ICDCSW
2000
IEEE
15 years 9 months ago
Games-Based Model Checking of Protocols: counting doesn't count
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
Tim Kempster, Colin Stirling, Peter Thanisch
149
Voted
ICTAI
1999
IEEE
15 years 8 months ago
A Practical Student Model in an Intelligent Tutoring System
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
Yujian Zhou, Martha W. Evens
LPNMR
1997
Springer
15 years 8 months ago
Computing Non-Ground Representations of Stable Models
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
Thomas Eiter, James J. Lu, V. S. Subrahmanian