392 search results - page 56 / 79 » Integrating Constraints in an Object-Based Knowledge Represe... |
ICDM
2009
IEEE
14 years 3 months ago
2009
IEEE
— Redistricting is the process of dividing a geographic area into districts or zones. This process has been considered in the past as a problem that is computationally too comple...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
CADE
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
KDD
2012
ACM
11 years 11 months ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...
BMCBI
2008
13 years 9 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...