Sciweavers

9989 search results - page 1643 / 1998
» A CLP Approach to Modelling Systems
Sort
View
CP
2004
Springer
16 years 3 days ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
OTM
2004
Springer
16 years 2 days ago
Engineering an Ontology of Financial Securities Fraud
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...
Gang Zhao, John Kingston, Koen Kerremans, Frederic...
SAMOS
2004
Springer
16 years 2 days ago
Self-loop Pipelining and Reconfigurable Dataflow Arrays
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...
João M. P. Cardoso
COOPIS
2003
IEEE
16 years 18 hour ago
Learning to Invoke Web Forms
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
Nicholas Kushmerick
KBSE
2003
IEEE
15 years 12 months ago
XRay Views: Understanding the Internals of Classes
Understanding the internal workings of classes is a key prerequisite to maintaining an object-oriented software system. Unfortunately, classical editing and browsing tools offer m...
Gabriela Arévalo, Stéphane Ducasse, ...
« Prev « First page 1643 / 1998 Last » Next »