548 search results - page 92 / 110 » Adding Real Time to Formal Program Development |
185
Voted
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many real world problems, e.g. personnel scheduling and transportation planning, can be modeled naturally as Constrained Shortest Path Problems (CSPPs), i.e., as Shortest...
201
Voted
COCOA
2009
Springer
15 years 10 months ago
2009
Springer
Online social network has developed significantly in recent years as a medium of communicating, sharing and disseminating information and spreading influence. Most of current resea...
163
click to vote
SCAM
2008
IEEE
16 years 22 days ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
166
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: The evolution of high throughput technologies that measure gene expression levels has created a data base for inferring GRNs (a process also known as reverse engineeri...
162
Voted
IEAAIE
2009
Springer
16 years 28 days ago
2009
Springer
The process of knowledge discovery from databases is a knowledge intensive, highly user-oriented practice, thus has recently heralded the development of ontology-incorporated data ...