628 search results - page 72 / 126 » Magic Counting Methods |
LKR
2008
13 years 9 months ago
2008
Abstract. We extend an automatically generated bilingual JapaneseSwedish dictionary with new translations, automatically discovered from the multi-lingual online encyclopedia Wikip...
IJCAI
2007
13 years 9 months ago
2007
Recent development of location technologies enables us to obtain the location history of users. This paper proposes a new method to infer users’ longterm properties from their r...
CASCON
2006
13 years 9 months ago
2006
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...
VISSYM
2003
13 years 9 months ago
2003
Volumetric samples on Cartesian lattices are less efficient than samples on body-centred cubic (BCC) lattices. We show how to construct isosurfaces on BCC lattices using several ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...