Sciweavers

1523 search results - page 141 / 305
» Partially ordered secretaries
Sort
View
93
Voted
ISCI
2010
103views more  ISCI 2010»
14 years 11 months ago
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
This paper focuses on the issue of how generalizations of continuous and leftcontinuous t-norms over linearly ordered sets should be from a logical point of view. Taking into acco...
Carles Noguera, Francesc Esteva, Lluis Godo
EMSOFT
2011
Springer
14 years 17 days ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
118
Voted
STOC
2009
ACM
156views Algorithms» more  STOC 2009»
16 years 1 months ago
Polynomial-time theory of matrix groups
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
László Babai, Robert Beals, Á...
107
Voted
ICIP
2002
IEEE
16 years 2 months ago
Automatic 3D model reconstruction using voxel coding and pose integration
Automatic reconstruction of a complete 3D model of a complex object is presented. The complete 3D model is reconstructed by integrating two 3D models which are reconstructed from ...
Soon-Yong Park, Murali Subbarao
EDBT
2002
ACM
179views Database» more  EDBT 2002»
16 years 29 days ago
Efficient Complex Query Support for Multiversion XML Documents
Managing multiple versions of XML documents represents a critical requirement for many applications. Also, there has been much recent interest in supporting complex queries on XML ...
Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo,...