Sciweavers

3012 search results - page 381 / 603
» Testing Processes of Web Applications
Sort
View
ICALP
2007
Springer
16 years 1 months ago
On Commutativity Based Edge Lean Search
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doro...
212
Voted
ADAEUROPE
2006
Springer
16 years 25 days ago
Interchangeable Scheduling Policies in Real-Time Middleware for Distribution
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
Juan López Campos, J. Javier Gutiérr...
175
Voted
WACV
2005
IEEE
16 years 12 days ago
3D Pose Estimation of Cactus Leaves using an Active Shape Model
Future Machine Vision applications have to cope with 3D non-rigid objects. One such application is 3D pose estimation of cactus leaves, which is the topic in this paper. We apply ...
Thomas B. Moeslund, Michael Aagaard, Dennis Lerche
PRICAI
2004
Springer
16 years 5 days ago
Building a Case-Based Reasoner for Clinical Decision Support
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...
Anna Wills, Ian Watson
FPL
1999
Springer
103views Hardware» more  FPL 1999»
15 years 11 months ago
IP Validation for FPGAs Using Hardware Object Technology
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
Steve Casselman, John Schewel, Christophe Beaumont