Sciweavers

2562 search results - page 219 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
ICAIL
2003
ACM
15 years 12 months ago
Developing Legal Knowledge Based Systems Through Theory Construction
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
Alison Chorley, Trevor J. M. Bench-Capon
PROCEDIA
2010
115views more  PROCEDIA 2010»
15 years 1 months ago
Exploring ontology metrics in the biomedical domain
Ontologies are gaining popularity in many domains as a way of representing, dealing and reasoning with large volumes of information, and they are starting to play a major role in ...
N. Manouselis, Miguel-Ángel Sicilia, Daniel...
TVLSI
2008
139views more  TVLSI 2008»
15 years 6 months ago
Ternary CAM Power and Delay Model: Extensions and Uses
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
Banit Agrawal, Timothy Sherwood
CORR
2010
Springer
115views Education» more  CORR 2010»
15 years 6 months ago
The complexity of solving reachability games using value and strategy iteration
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, P...
TAICPART
2006
IEEE
144views Education» more  TAICPART 2006»
16 years 19 days ago
Testing the Implementation of Business Rules Using Intensional Database Tests
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
David Willmor, Suzanne M. Embury