26957 search results - page 182 / 5392 » Information Systems Modernization |
117
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
102
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper provides lessons learned from ancient Roman attempts to protect the aqueduct, which was considered one of their most critical infrastructures. It also offers an analogy...
117
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Energy has become a scarce and expensive resource. There is a growing awareness in society that energy saving is a critical issue. This paper surveys algorithmic solutions to reduc...
129
click to vote
COCOON
2005
Springer
15 years 10 months ago
2005
Springer
Floorplan is a crucial estimation task in the modern layout design of systems on chips. The paper presents a novel theoretical upper bound for slicing floorplans with soft modules...
110
click to vote
AAAI
2008
15 years 6 months ago
2008
This paper describes our experience in using modern Web 2.0 architecture, lightweight Python frameworks, and rapid prototyping to create an AI rostering and workforce management s...