Sciweavers

1763 search results - page 96 / 353
» Dependent random choice
Sort
View
TRIDENTCOM
2008
IEEE
14 years 3 months ago
Single versus multi-hop wireless reprogramming in sensor networks
— Wireless reprogramming of the sensor network is useful for uploading new code or for changing the functionality of the existing code. In recent years, the research focus has sh...
Rajesh Krishna Panta, Saurabh Bagchi, Issa Khalil,...
ECOOP
2004
Springer
14 years 2 months ago
Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
S. Alexander Spoon, Olin Shivers
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
14 years 1 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
MABS
2000
Springer
14 years 24 days ago
Agent-Based Social Simulation with Coalitions in Social Reasoning
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...
Nuno David, Jaime Simão Sichman, Helder Coe...
MANSCI
2008
142views more  MANSCI 2008»
13 years 9 months ago
Predicting Product Purchase from Inferred Customer Similarity: An Autologistic Model Approach
Product recommendation models are key tools in customer relationship management (CRM). This study develops a product recommendation model based upon the principle that customer pr...
Sangkil Moon, Gary J. Russell