1502 search results - page 57 / 301 » Computational Realizations of Living Systems |
117
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
149
Voted
ISWC
1997
IEEE
15 years 8 months ago
1997
IEEE
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...
137
click to vote
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
137
Voted
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
121
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
– Biped walking is one of the most graceful movements observed in humans. Today’s humanoid robots, despite their undeniably impressive performance, are still a long way from th...