Sciweavers

3025 search results - page 521 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
15 years 8 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
APN
2004
Springer
15 years 7 months ago
EMiT: A Process Mining Tool
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
UM
2010
Springer
15 years 7 months ago
Task-Based User Modelling for Knowledge Work Support
A Knowledge Worker (KW) uses her computer to perform different tasks for which she gathers and uses information from disparate sources such as the Web and e-mail, and creates new ...
Charlie Abela, Chris Staff, Siegfried Handschuh
ICECCS
2000
IEEE
133views Hardware» more  ICECCS 2000»
15 years 6 months ago
An Analysis Tool for Coupling-Based Integration Testing
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
A. Jefferson Offutt, Aynur Abdurazik, Roger T. Ale...
137
Voted
ICECCS
1996
IEEE
209views Hardware» more  ICECCS 1996»
15 years 6 months ago
Coupling-based Integration Testing
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
Zhenyi Jin, A. Jefferson Offutt