Sciweavers

898 search results - page 91 / 180
» Transitions of the Pre-Symmetry Set
Sort
View
CCE
2005
15 years 6 months ago
Computer-aided molecular design using Tabu search
A detailed implementation of the Tabu Search (TS) algorithm for computer-aided molecular design (CAMD) of transition metal catalysts is presented in this paper. Previous CAMD rese...
Bao Lin, Sunitha Chavali, Kyle V. Camarda, David C...
LOGCOM
2007
97views more  LOGCOM 2007»
15 years 6 months ago
A General Framework for Expressing Preferences in Causal Reasoning and Planning
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
James P. Delgrande, Torsten Schaub, Hans Tompits
CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
16 years 1 months ago
Complementation of Coalgebra Automata
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Christian Kissig, Yde Venema
ISBI
2007
IEEE
16 years 21 days ago
Segmentation of Non-convex Regions within Uterine Cervix Images
The National Cancer Institute has collected a large database of uterine cervix images, termed “cervigrams” for cervical cancer screening research. Tissues of interest within t...
Shiri Gordon, Hayit Greenspan
LICS
2007
IEEE
16 years 20 days ago
On Noetherian Spaces
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
Jean Goubault-Larrecq