Sciweavers

513 search results - page 90 / 103
» A Middleware-Based Script Language
Sort
View
PG
2003
IEEE
14 years 22 days ago
A State Machine for Real-Time Cutting of Tetrahedral Meshes
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
Daniel Bielser, Pascal Glardon, Matthias Teschner,...
SAC
2003
ACM
14 years 22 days ago
Similar_Join: Extending DBMS with a Bio-specific Operator
Existing sequence comparison software applications lack automation, abstraction, performance, and flexibility. Users need a new way of studying and applying sequence comparisons i...
Jake Yue Chen, John V. Carlis
ICSE
2001
IEEE-ACM
13 years 12 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
HICSS
1999
IEEE
125views Biometrics» more  HICSS 1999»
13 years 11 months ago
ASHRAM: Active Summarization and Markup
Typically, searching for information in a document collection amounts to refining a query and then scanning a large number of documents to determine their relevance. Active Summar...
Mary S. Neff, James W. Cooper
ITS
1998
Springer
133views Multimedia» more  ITS 1998»
13 years 11 months ago
The Foundations and Architecture of Autotutor
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
Peter M. Wiemer-Hastings, Arthur C. Graesser, Dere...