3222 search results - page 237 / 645 » A Data Model for Effectively Computable Functions |
194
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
Temporal causal modeling can be used to recover the causal structure among a group of relevant time series variables. Several methods have been developed to explicitly construct te...
161
click to vote
ICAC
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Shared computing utilities allocate compute, network, and storage resources to competing applications on demand. An awareness of the demands and behaviors of the hosted...
194
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
179
click to vote
NIPS
2003
15 years 8 months ago
2003
Synapses are a critical element of biologically-realistic, spike-based neural computation, serving the role of communication, computation, and modification. Many different circui...
155
click to vote
ICDCSW
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important but difficult problem. Thi...