Sciweavers

2125 search results - page 82 / 425
» Points with Type-2 Operations
Sort
View
ECAI
2010
Springer
13 years 10 months ago
A Very Fast Method for Clustering Big Text Datasets
Large-scale text datasets have long eluded a family of particularly elegant and effective clustering methods that exploits the power of pair-wise similarities between data points ...
Frank Lin, William W. Cohen
JCISE
2002
148views more  JCISE 2002»
13 years 8 months ago
Hybrid Cellular-functional Modeling of Heterogeneous Objects
An approach to modeling heterogeneous objects as multidimensional point sets with multiple attributes (hypervolumes) is presented. Attributes given at each point represent object ...
Valery Adzhiev, Elena Kartasheva, Tosiyasu L. Kuni...
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
13 years 3 months ago
Delayed decision-making in bistable models
Switching between two modes of operation is a common property of biological systems. In continuous-time differential equation models, this is often realised by bistability, i.e. th...
Laura Trotta, Rodolphe Sepulchre, Eric Bullinger
IFL
2001
Springer
14 years 1 months ago
Proving the Correctness of the STG Machine
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
Alberto de la Encina, Ricardo Pena
ECP
1999
Springer
138views Robotics» more  ECP 1999»
14 years 1 months ago
Numeric State Variables in Constraint-Based Planning
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
Jussi Rintanen, Hartmut Jungholt