4636 search results - page 789 / 928 » Application of Linguistic Techniques for Use Case Analysis |
HICSS
2003
IEEE
15 years 4 months ago
2003
IEEE
The availability of effective management information is essential when coping with today’s complexity and dynamism, both within and around organizations. Information technology ...
EVOW
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Many evolutionary algorithm applications involve either fitness functions with high time complexity or large dimensionality (hence very many fitness evaluations will typi...
101
click to vote
DELTA
2010
IEEE
15 years 4 months ago
2010
IEEE
— FPGAs, (Field-Programmable Gate Arrays) are often used for embedded image processing applications. Parallelism, and in particular pipelining, is the most suitable architecture ...
CAV
2001
Springer
15 years 3 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
176
Voted
MICCAI
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Virtual colonoscopy is a minimally invasive technique allowing early detection of colorectal polyps. A path or centerline through the colon can be very useful to perform ...