Sciweavers

3856 search results - page 507 / 772
» Models for Automated Earthmoving
Sort
View
MM
2003
ACM
125views Multimedia» more  MM 2003»
15 years 12 months ago
Automatic browsing of large pictures on mobile devices
Pictures have become increasingly common and popular in mobile communications. However, due to the limitation of mobile devices, there is a need to develop new technologies to fac...
Hao Liu, Xing Xie, Wei-Ying Ma, HongJiang Zhang
KDD
1998
ACM
442views Data Mining» more  KDD 1998»
15 years 11 months ago
BAYDA: Software for Bayesian Classification and Feature Selection
BAYDA is a software package for flexible data analysis in predictive data mining tasks. The mathematical model underlying the program is based on a simple Bayesian network, the Na...
Petri Kontkanen, Petri Myllymäki, Tomi Siland...
SAT
2010
Springer
158views Hardware» more  SAT 2010»
15 years 10 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
156
Voted
KBSE
1998
IEEE
15 years 10 months ago
Identifying Pre-Conditions with the Z/EVES Theorem Prover
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
Yves Ledru
VLDB
1997
ACM
121views Database» more  VLDB 1997»
15 years 10 months ago
The Microsoft Repository
TheMicrosoft Repositoryis anobject-orientedrepository thatshipsasacomponentof Visual Basic(Version 5.0). It includesasetof ActiveX interfacesthat adeveloper canuseto defineinforma...
Philip A. Bernstein, Brian Harry, Paul Sanders, Da...