Sciweavers

7225 search results - page 1219 / 1445
» On the Computational Power of Biochemistry
Sort
View
106
Voted
ENDM
2000
116views more  ENDM 2000»
15 years 1 months ago
Conceptual Models for Combined Planning and Scheduling
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...
Roman Barták
107
Voted
CUZA
2002
129views more  CUZA 2002»
15 years 1 months ago
Ad Hoc Metacomputing with Compeer
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
Keith Power, John P. Morrison
IJAIT
2000
142views more  IJAIT 2000»
15 years 1 months ago
Adequacy of Limited Testing for Knowledge Based Systems
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
Tim Menzies, Bojan Cukic
130
Voted
IJCV
2000
136views more  IJCV 2000»
15 years 1 months ago
A Trainable System for Object Detection
This paper presents a general, trainable system for object detection in unconstrained, cluttered scenes. The system derives much of its power from a representation that describes a...
Constantine Papageorgiou, Tomaso Poggio
128
Voted
ENTCS
2002
128views more  ENTCS 2002»
15 years 1 months ago
Rewriting Calculus with(out) Types
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
Horatiu Cirstea, Claude Kirchner, Luigi Liquori
« Prev « First page 1219 / 1445 Last » Next »