20441 search results - page 365 / 4089 » Locally Computable Structures |
179
click to vote
CSMR
2008
IEEE
15 years 7 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...
169
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
138
click to vote
AAAI
2000
15 years 7 months ago
2000
Both the Artificial Intelligence (AI) community and the Operations Research (OR) community are interested in developing techniques for solving hard combinatorial problems. OR has ...
168
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
The structure of a Markov network is typically learned using top-down search. At each step, the search specializes a feature by conjoining it to the variable or feature that most ...
159
click to vote
CCE
2008
15 years 6 months ago
2008
We review the use of bond graphs for modeling of physico-chemical processes. We recall that bond graphs define a circuit-type language which root on a thermodynamical consistent d...