Sciweavers

8636 search results - page 1233 / 1728
» How Developers Copy
Sort
View
CIMCA
2006
IEEE
16 years 15 days ago
Assessing and Assuring Trust in E-Commerce Systems
On-line trading or Internet Commerce restoring to ECommerce systems are gradually replacing the traditional commerce activities. Internet users must have reasonable faith on the u...
Zhongwei Zhang, Zhen Wang
156
Voted
COMPSAC
2006
IEEE
16 years 15 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
CRV
2006
IEEE
148views Robotics» more  CRV 2006»
16 years 15 days ago
Autonomous Learning of Object Appearances using Colour Contour Frames
In this paper we make use of the idea that a robot can autonomously discover objects and learn their appearances by poking and prodding at interesting parts of a scene. In order t...
Per-Erik Forssén, Anders Moe
CVPR
2006
IEEE
16 years 14 days ago
Specular Flow and the Recovery of Surface Structure
In scenes containing specular objects, the image motion observed by a moving camera may be an intermixed combination of optical flow resulting from diffuse reflectance (diffuse ...
Stefan Roth, Michael J. Black
DEXAW
2006
IEEE
153views Database» more  DEXAW 2006»
16 years 14 days ago
Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual O
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
« Prev « First page 1233 / 1728 Last » Next »