Sciweavers

4491 search results - page 303 / 899
» Algorithm Engineering
Sort
View
KBSE
2000
IEEE
15 years 7 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
108
Voted
IUI
2000
ACM
15 years 7 months ago
Adaptation in automated user-interface design
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
Jacob Eisenstein, Angel R. Puerta
98
Voted
COMPSAC
1999
IEEE
15 years 7 months ago
A Framework for Top-Down Cost Estimation of Software Development
The Function Point Method, estimation by analogy, and algorithmic modeling are three of the most commonly applied methods used to estimate the costs and worker hours neededfor a s...
Tsuneo Yamaura, Tohru Kikuno
117
Voted
IUI
1999
ACM
15 years 7 months ago
Programming by Demonstration: An Inductive Learning Formulation
Although Programming by Demonstration (PBD) has the potential to improve the productivity of unsophisticated users, previous PBD systems have used brittle, heuristic, domain-speci...
Tessa A. Lau, Daniel S. Weld
108
Voted
UIST
1999
ACM
15 years 7 months ago
The Videomouse: A Camera-Based Multi-degree-of-freedom Input Device
The VideoMouse is a mouse that uses a camera as its input sensor. A real-time vision algorithm determines the six degree-of-freedom mouse posture, consisting of 2D motion, tilt in...
Ken Hinckley, Mike Sinclair, Erik Hanson, Richard ...