696 search results - page 88 / 140 » Explaining abstract counterexamples |
118
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We present here a method for analyzing the neighborhoods of all the vertices in a large graph. We first give an algorithm for characterizing a simple undirected graph t...
108
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A differential geometry based modeling to represent belt object deformation is proposed. Deformation of a belt object such as film circuit boards or flexible circuit ...
159
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— A continuous vocal imitation system was developed using a computational model that explains the process of phoneme acquisition by infants. Human infants perceive speech...
127
click to vote
ADBIS
2009
Springer
15 years 10 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
132
Voted
UIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Portable computers are used to store and access sensitive information. They are frequently used in insecure locations with little or no physical protection, and are there...