845 search results - page 98 / 169 » Connecting Many-Sorted Theories |
149
click to vote
SAC
2006
ACM
16 years 6 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...
150
click to vote
APSEC
2005
IEEE
15 years 12 months 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...
167
click to vote
SPAA
2005
ACM
15 years 11 months 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...
148
click to vote
CIE
2005
Springer
15 years 11 months 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...
156
click to vote
MIRRORBOT
2005
Springer
15 years 11 months 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...