Sciweavers

4835 search results - page 227 / 967
» Intelligent Selection Tools
Sort
View
EPIA
1997
Springer
15 years 10 months ago
Controlling for Unexpected Goals when Planning in a Mixed-Initiative Setting
dimension of abstraction and specificity, and they may mix both top-level goals and subgoals when describing what they want a plan to do. We show how the Prodigy planning system h...
Michael T. Cox, Manuela M. Veloso
ISMIS
1994
Springer
15 years 10 months ago
BDDs and Automated Deduction
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....
Jean Goubault, Joachim Posegga
ICIP
2004
IEEE
16 years 8 months ago
Low-complexity macroblock mode selection for H.264/AVC encoders
Lagrangian minimization is one of the most powerful tools for Rate-Distortion optimal coding mode selection. However, in the latest video compression standard H.264/AVC, the total...
Hyungjoon Kim, Yucel Altunbasak
UIST
2009
ACM
16 years 29 days ago
Relaxed selection techniques for querying time-series graphs
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
Christian Holz, Steven Feiner
ICSE
1995
IEEE-ACM
15 years 10 months ago
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...
Craig Chambers, Jeffrey Dean, David Grove