Sciweavers

1174 search results - page 136 / 235
» Optimizing generics is easy!
Sort
View
ECAI
2004
Springer
15 years 9 months ago
Avatars That Learn How to Behave
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...
Adam Szarowicz, Paolo Remagnino
FSTTCS
2004
Springer
15 years 9 months ago
Join Algorithms for the Theory of Uninterpreted Functions
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
Sumit Gulwani, Ashish Tiwari, George C. Necula
GECCO
2004
Springer
115views Optimization» more  GECCO 2004»
15 years 9 months ago
An Evolutionary Approach with Pharmacophore-Based Scoring Functions for Virtual Database Screening
We have developed a new tool for virtual database screening. This tool, referred to as the Generic Evolutionary Method for molecular DOCKing (GEMDOCK), combines an evolutionary app...
Jinn-Moon Yang, Tsai-Wei Shen, Yen-Fu Chen, Yi-Yua...
MIDDLEWARE
2004
Springer
15 years 9 months ago
Exploring adaptability of secure group communication using formal prototyping techniques
Traditionally, adaptability in communication frameworks has been restricted to predefined choices without taking into consideration tradeoffs between them and the application req...
Sebastian Gutierrez-Nolasco, Nalini Venkatasubrama...
WLP
2004
Springer
15 years 9 months ago
Effective Modeling with Constraints
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
Roman Barták