130 search results - page 21 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
JSAC
2011
14 years 4 months ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...
83
Voted
KDD
2005
ACM
15 years 3 months ago
2005
ACM
This paper describes a successful but challenging application of data mining in the railway industry. The objective is to optimize maintenance and operation of trains through prog...
106
click to vote
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
Ribonucleic acid (RNA) molecules play important roles in many biological processes including gene expression and regulation. An RNA molecule is a linear polymer which folds back o...
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
COCOON
2009
Springer
15 years 4 months ago
2009
Springer
: Network games play a fundamental role in understanding behavior in many domains, ranging from communication networks through markets to social networks. Such networks are used, a...