Sciweavers

12052 search results - page 2079 / 2411
» computer 2010
Sort
View
KAIS
2010
139views more  KAIS 2010»
14 years 11 months ago
Periodic subgraph mining in dynamic networks
In systems of interacting entities such as social networks, interactions that occur regularly typically correspond to significant, yet often infrequent and hard to detect, interact...
Mayank Lahiri, Tanya Y. Berger-Wolf
KBSE
2010
IEEE
14 years 11 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
KBSE
2010
IEEE
14 years 11 months ago
How did you specify your test suite
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
Andreas Holzer, Christian Schallhart, Michael Taut...
KESAMSTA
2010
Springer
14 years 11 months ago
Towards an Integrated Approach of Real-Time Coordination for Multi-agent Systems
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
Ghulam Mahdi, Abdelkader Gouaich, Fabien Michel
KI
2010
Springer
14 years 11 months ago
Soft Evidential Update via Markov Chain Monte Carlo Inference
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
Dominik Jain, Michael Beetz
« Prev « First page 2079 / 2411 Last » Next »