Sciweavers

9810 search results - page 1879 / 1962
» Problems, Descriptions and Objects
Sort
View
ISCI
2002
112views more  ISCI 2002»
14 years 9 months ago
Intelligent learning and control of autonomous robotic agents operating in unstructured environments
The control of autonomous intelligent robotic agent operating in unstructured changing environments includes many objective difficulties. One major difficulty concerns the charact...
Hani Hagras, Tarek M. Sobh
JAR
1998
134views more  JAR 1998»
14 years 9 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
JCT
1998
70views more  JCT 1998»
14 years 9 months ago
Partitions into Distinct Parts and Elliptic Curves
Let Q(N) denote the number of partitions of N into distinct parts. If ω(k) := 3k2 +k 2 , then it is well known that Q(N) + ∞X k=1 (−1)k “ Q(N − 2ω(k)) + Q(N − 2ω(−k)...
Ken Ono
MVA
2002
186views Computer Vision» more  MVA 2002»
14 years 9 months ago
Identifying Body Parts of Multiple People in Multi-Camera Images
In order to track and recognize the movements of multiple people using multiple cameras, each person needs to be segmented and identified in the image of each camera. We propose a...
Masafumi Tominaga, Hitoshi Hongo, Hiroyasu Koshimi...
SIGPLAN
1998
14 years 9 months ago
The DrScheme Project: An Overview
DrScheme provides a graphical user interface for editing and interactively evaluating Scheme programs on all major graphical platforms (Windows 95/nt, MacOs, Unix/X). The environm...
Matthias Felleisen, Robert Bruce Findler, Matthew ...
« Prev « First page 1879 / 1962 Last » Next »