Sciweavers

13791 search results - page 2355 / 2759
» Modeling Web Interactions
Sort
View
RE
2002
Springer
15 years 6 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
RML
2002
99views Business» more  RML 2002»
15 years 6 months ago
A System for Querying and Viewing Business Constraints
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
Mizuho Iwaihara, Masayuki Kozawa, Jun Narazaki, Ya...
TITS
2002
160views more  TITS 2002»
15 years 6 months ago
Detection and classification of vehicles
Abstract-This paper presents algorithms for vision-based detection and classification of vehicles in monocular image sequences of traffic scenes recorded by a stationary camera. Pr...
Surendra Gupte, Osama Masoud, Robert F. K. Martin,...
VC
2002
145views more  VC 2002»
15 years 6 months ago
Visualization and pre-processing of independent finite-element meshes for car crash simulations
The recent transition from meshing the whole model towards the independent meshing of the assembly parts introduced new challenges also in the task of visualizing and pre-processi...
Norbert Frisch, Dirc Rose, Ove Sommer, Thomas Ertl
PSYCHNOLOGY
2008
97views more  PSYCHNOLOGY 2008»
15 years 5 months ago
Being Inside the Quantum Atom
This article explores the possibility of using dynamic Educational Virtual Environments (EVEs) for helping students with limited background in physics and mathematics to deeply un...
Assimina M. Kontogeorgiou, Joan Bellou, Tassos A. ...
« Prev « First page 2355 / 2759 Last » Next »