845 search results - page 98 / 169 » Connecting Many-Sorted Theories |
160
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
We propose a geometric constraint solving method based on connectivity analysis in graph theory, which can be used to decompose a well-constrained problem into some smaller ones i...
167
click to vote
APSEC
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper describes a system called STeP_IN (standing for Socio-Technical Platform for in situ Networking) that assists software developer to find and learn Java API libraries. I...
182
click to vote
SPAA
2005
ACM
16 years 10 days ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
161
click to vote
CIE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
174
click to vote
MIRRORBOT
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...