Æȷοì
Henry Kautz
Henry Kautz
Professor Emeritus of Computer Science, University of Rochester
cs.rochester.eduÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Planning as Satisfiability.
HA Kautz, B Selman
ECAI 92, 359-363, 1992
15791992
Referral Web: combining social networks and collaborative filtering
H Kautz, B Selman, M Shah
Communications of the ACM 40 (3), 63-65, 1997
15471997
Pushing the envelope: Planning, propositional logic, and stochastic search
H Kautz, B Selman
Proceedings of the national conference on artificial intelligence, 1194-1201, 1996
13301996
Noise strategies for improving local search
B Selman, HA Kautz, B Cohen
AAAI 94, 337-343, 1994
13141994
Inferring activities from interactions with objects
M Philipose, KP Fishkin, M Perkowitz, DJ Patterson, D Fox, H Kautz, ...
IEEE pervasive computing 3 (4), 50-57, 2004
12032004
Learning and inferring transportation routines
L Liao, DJ Patterson, D Fox, H Kautz
Artificial intelligence 171 (5-6), 311-331, 2007
11592007
Constraint propagation algorithms for temporal reasoning.
MB Vilain, HA Kautz
Aaai 86, 377-382, 1986
10551986
Local search strategies for satisfiability testing.
B Selman, HA Kautz, B Cohen
Cliques, coloring, and satisfiability 26, 521-532, 1993
9881993
Boosting combinatorial search through randomization
CP Gomes, B Selman, H Kautz
AAAI/IAAI 98 (1998), 431-437, 1998
9241998
Generalized plan recognition.
HA Kautz, JF Allen
AAAI 86 (3237), 5, 1986
8021986
Message filtering techniques
LM Canale, HA Kautz, AE Milewski, B Selman
US Patent 5,619,648, 1997
7931997
Inferring high-level behavior from low-level sensors
DJ Patterson, L Liao, D Fox, H Kautz
UbiComp 2003: Ubiquitous Computing: 5th International Conference, Seattle ¡¦, 2003
7792003
A formal theory of plan recognition and its implementation
HA Kautz
Reasoning about plans, 69-125, 1991
748*1991
Towards a theory of natural language interfaces to databases
AM Popescu, O Etzioni, H Kautz
Proceedings of the 8th international conference on Intelligent user ¡¦, 2003
7452003
Unifying SAT-based and graph-based planning
H Kautz, B Selman
IJCAI 99, 318-325, 1999
7401999
Activity recognition using the velocity histories of tracked keypoints
R Messing, C Pal, H Kautz
2009 IEEE 12th international conference on computer vision, 104-111, 2009
6662009
Fine-grained activity recognition by aggregating abstract object usage
DJ Patterson, D Fox, H Kautz, M Philipose
Ninth IEEE International Symposium on Wearable Computers (ISWC'05), 44-51, 2005
5982005
Extracting places and activities from gps traces using hierarchical conditional random fields
L Liao, D Fox, H Kautz
The International Journal of Robotics Research 26 (1), 119-134, 2007
5932007
Constraint propagation algorithms for temporal reasoning: A revised report
M Vilain, H Kautz, P Van Beek
Readings in qualitative reasoning about physical systems, 373-381, 1990
5911990
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
CP Gomes, B Selman, N Crato, H Kautz
Journal of automated reasoning 24 (1), 67-100, 2000
5862000
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20