Sciweavers

3780 search results - page 515 / 756
» Structured Relation Discovery using Generative Models
Sort
View
WWW
2007
ACM
16 years 7 months ago
Adding Value to Biodiversity Images Through Community Annotation
Morphbank, an on-line collection of museum-quality biological images, is an NSF funded project designed to facilitate the on-line collaboration of biologists from around the world...
Gregory A. Riccardi
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
16 years 1 days ago
Dynamic Symmetry Reduction
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
E. Allen Emerson, Thomas Wahl
IJUFKS
2010
77views more  IJUFKS 2010»
15 years 3 months ago
How to Handle Interval solutions for Cooperative Interval Games
Interval uncertainty affects our decision making activities on a daily basis making the data structure of intervals of real numbers more and more popular in theoretical models and...
Rodica Branzei, Stef Tijs, S. Z. Alparslan Gö...
ISAAC
1992
Springer
132views Algorithms» more  ISAAC 1992»
15 years 10 months ago
Generalized Assignment Problems
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
Silvano Martello, Paolo Toth
GI
2009
Springer
15 years 10 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski