Sciweavers

11129 search results - page 98 / 2226
» Modeling Search Computing Applications
Sort
View
SIGGRAPH
1995
ACM
15 years 1 months ago
Interactive physically-based manipulation of discrete/continuous models
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...
Mikako Harada, Andrew P. Witkin, David Baraff
79
Voted
MRCO
2005
Springer
15 years 3 months ago
A Context Model for Personal Knowledge Management Applications
In the research project EPOS1 we build a pro-active, contextsensitive support system to aid the user with his knowledge work, which is mostly about searching, reading, creating, an...
Sven Schwarz
95
Voted
POPL
2012
ACM
13 years 5 months ago
An executable formal semantics of C with applications
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
Chucky Ellison, Grigore Rosu
SPLC
2007
14 years 11 months ago
A Variability Modeling Method for Adaptable Services in Service-Oriented Computing
Publish-Discover-Compose paradigm of Service-Oriented Computing (SOC) presents a challenge on service applicability. Services are not just for predefined clients, rather for poten...
Soo Ho Chang, Soo Dong Kim
KES
2005
Springer
15 years 3 months ago
A Robust Approach for Improving Computational Efficiency of Order-Picking Problems
The new market forces have affected the operation of distribution centers (DCs) extremely. The DCs demand an increased productivity and a low cost in their daily operation. This pa...
Yu-Min Chiang, Shih-Hsin Chen, Kuo-Chang Wu