Sciweavers

1195 search results - page 217 / 239
» Interactive graphic design using automatic presentation know...
Sort
View
ISORC
2002
IEEE
14 years 23 days ago
Reactive Objects
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
Johan Nordlander, Mark P. Jones, Magnus Carlsson, ...
SMA
2003
ACM
138views Solid Modeling» more  SMA 2003»
14 years 1 months ago
Associativity between feature models across domains
Associativity between feature models implies the automatic updating of different feature models of a part after changes are made in one of its feature models. This is an importan...
S. Subramani, Balan Gurumoorthy
WWW
2003
ACM
14 years 8 months ago
A software framework for matchmaking based on semantic web technology
An important objective of the Semantic Web is to make Electronic Commerce interactions more flexible and automated. To achieve this, standardization of ontologies, message content...
Lei Li, Ian Horrocks
BMVC
2010
13 years 5 months ago
Image-based walkthroughs from incremental and partial scene reconstructions
We present a scalable and incremental approach for creating interactive image-based walkthroughs from a dynamically growing collection of photographs of a scene. Prior approaches,...
Kumar Srijan, Syed Ahsan Ishtiaque, Sudipta Sinha,...
FTRTFT
1998
Springer
14 years 2 days ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer