7404 search results - page 532 / 1481 » New Tools in Education |
159
click to vote
ACSD
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analys...
180
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
181
click to vote
DSVIS
2008
Springer
15 years 9 months ago
2008
Springer
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...
220
click to vote
ESWS
2008
Springer
15 years 9 months ago
2008
Springer
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
163
click to vote
IAAI
2001
15 years 8 months ago
2001
This paper presents a multi-domain information extraction system. The overall architecture of the system is detailed. A set of machine learning tools helps the expert to explore t...