Sciweavers

641 search results - page 120 / 129
» A Study in Coverage-Driven Test Generation
Sort
View
ICAIL
2003
ACM
15 years 2 months ago
Developing Legal Knowledge Based Systems Through Theory Construction
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
Alison Chorley, Trevor J. M. Bench-Capon
ICPADS
2002
IEEE
15 years 2 months ago
Experiences in Building a Scalable Distributed Network Emulation System
Network emulation systems are widely used to explore the behavior of network protocols and to test and evaluate protocol implementations and applications. The major problem of net...
Pei Zheng, Lionel M. Ni
PAKDD
2010
ACM
146views Data Mining» more  PAKDD 2010»
15 years 2 months ago
Mining Antagonistic Communities from Social Networks
During social interactions in a community, there are often sub-communities that behave in opposite manner. These antagonistic sub-communities could represent groups of people with ...
Kuan Zhang, David Lo, Ee-Peng Lim
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 2 months ago
The parabigeminal nucleus as a recursive estimator
— The parabigeminal nucleus (PBN) is known to estimate the retinal position error (RPE) of an intended target. Recently it has been discovered that PBN activity continues to enco...
Rui Ma, Todd P. Coleman, Joseph G. Malpeli
UML
2001
Springer
15 years 2 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck