2702 search results - page 381 / 541 » Practically Applicable Formal Methods |
113
Voted
ACSC
2005
IEEE
15 years 8 months ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...
131
click to vote
ISPW
2005
IEEE
15 years 7 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
112
Voted
SSD
2005
Springer
15 years 7 months ago
2005
Springer
A moving cluster is defined by a set of objects that move close to each other for a long time interval. Real-life examples are a group of migrating animals, a convoy of cars movin...
113
click to vote
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
117
Voted
FDG
2009
ACM
15 years 7 months ago
2009
ACM
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue w...