3856 search results - page 512 / 772 » Models for Automated Earthmoving |
166
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
166
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
188
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Local search is a specialization of the web search that allows users to submit geographically constrained queries. However, one of the challenges for local search engines is to un...
236
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
189
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Now a many organizations are required to communicate online on a daily basis, 24-hour, seven-days-a-week, to gain the desired competitive advantages and profits; although there are...