Sciweavers

10910 search results - page 1806 / 2182
» Input modeling using a computer algebra system
Sort
View
IWPC
2005
IEEE
16 years 13 days ago
Concise and Consistent Naming
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
Florian Deißenböck, Markus Pizka
207
Voted
GIS
1992
ACM
15 years 11 months ago
Machine Induction of Geospatial Knowledge
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
Peter A. Whigham, Robert I. McKay, J. R. Davis
DAGSTUHL
2004
15 years 8 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
161
Voted
ICRA
2005
IEEE
112views Robotics» more  ICRA 2005»
16 years 14 days ago
Manipulation Planning for Knotting/Unknotting and Tightly Tying of Deformable Linear Objects
— A planning method for knotting/unknotting and tightening manipulation of deformable linear objects is proposed. It is important for linear object manipulation in industrial/med...
Hidefumi Wakamatsu, Akira Tsumaya, Eiji Arai, Shin...
USENIX
2001
15 years 8 months ago
User-Level Checkpointing for LinuxThreads Programs
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
William R. Dieter, James E. Lumpp Jr.
« Prev « First page 1806 / 2182 Last » Next »