4166 search results - page 440 / 834 » Automating the constraining process |
207
click to vote
ICLP
2003
Springer
16 years 26 days ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
178
click to vote
COMPSAC
2002
IEEE
16 years 18 days ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...
246
click to vote
DAGM
2001
Springer
16 years 4 days ago
2001
Springer
A complete processing chain for visual object recognition is described in this paper. The system automatically detects individual objects on an assembly line, identifies their typ...
206
click to vote
KBSE
2000
IEEE
16 years 1 days ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
214
click to vote
DEXAW
1998
IEEE
15 years 12 months ago
1998
IEEE
Due to the increasingly di culty of discovering patterns in real-world databases using only conventional OLAP tools, an automated process such as data mining is currently essentia...