7055 search results - page 15 / 1411 » Some New 4-Designs |
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
124
click to vote
MLQ
2011
14 years 2 months ago
2011
We develop a new method for coding sets while preserving gch in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carr...
EJC
2008
14 years 12 months ago
2008
This paper revisits the existence and construction problems for polygonal designs (a special class of partially balanced incomplete block designs associated with regular polygons)...
TNN
1998
14 years 11 months ago
1998
: A novel approach to artificial neural networks is presented. The philosophy of this approach is based on two aspects: the design of task-specific networks, and a new neuron model...
116
click to vote
PERCOM
2010
ACM
14 years 10 months ago
2010
ACM
—This paper describes a new embedded system, called iFall, for the detection of unexpected falls for elderly people. In combination with a new sensors system and the monitoring o...