Sciweavers

4880 search results - page 739 / 976
» Manuals as Structured Programs
Sort
View
IJCNN
2006
IEEE
16 years 20 days ago
Patterns, Hypergraphs and Embodied General Intelligence
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
Ben Goertzel
ISCAS
2006
IEEE
114views Hardware» more  ISCAS 2006»
16 years 19 days ago
System for deposition and characterization of polypyrrole/gold bilayer hinges
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...
Edward Choi, Yingkai Liu, Elisabeth Smela, Andreas...
SAC
2006
ACM
16 years 17 days ago
Provably faithful evaluation of polynomials
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
Sylvie Boldo, César Muñoz
XIMEP
2006
ACM
179views Database» more  XIMEP 2006»
16 years 17 days ago
Positional Grouping in XQuery
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
Michael H. Kay
ICDAR
2005
IEEE
16 years 7 days ago
Grouping Text Lines in Freeform Handwritten Notes
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...
Ming Ye, Herry Sutanto, Sashi Raghupathy, Chengyan...