Sciweavers

745 search results - page 69 / 149
» Towards a Formal Approach for Object Database Design
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
14 years 7 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
GIS
2007
ACM
15 years 11 months ago
Multilevel object-oriented classification of quickbird images for urban population estimates
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
Carolina M. D. Pinho, Cláudia Maria de Alme...
CIKM
2005
Springer
15 years 3 months ago
Towards estimating the number of distinct value combinations for a set of attributes
Accurately and efficiently estimating the number of distinct values for some attribute(s) or sets of attributes in a data set is of critical importance to many database operation...
Xiaohui Yu, Calisto Zuzarte, Kenneth C. Sevcik
HRI
2010
ACM
15 years 4 months ago
Toward understanding natural language directions
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
Thomas Kollar, Stefanie Tellex, Deb Roy, Nicholas ...
AR
2008
143views more  AR 2008»
14 years 10 months ago
Toward Human-Like Real-Time Manipulation: From Perception to Motion Planning
Human-like behavior is crucial for intelligent service robots that are to perform versatile tasks in day to day life. In this paper, an integrated approach to human-like manipulat...
Sukhan Lee, Hadi Moradi, Daesik Jang, Han-Young Ja...