Sciweavers

2416 search results - page 366 / 484
» The Language of Cortical Dynamics
Sort
View
DALT
2009
Springer
15 years 10 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
AAAI
2008
15 years 9 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
NSDI
2007
15 years 9 months ago
Friday: Global Comprehension for Distributed Replay
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
Dennis Geels, Gautam Altekar, Petros Maniatis, Tim...
FLAIRS
2008
15 years 9 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
WSC
2008
15 years 9 months ago
Using data driven simulation to build inventory model
Many general-purpose simulation languages (such as ARENA, SLAM II, GPSS/H, SIMAN etc) have been the major simulation tools to simulate the demand-supply processes. They have made ...
Minghui Yang