2585 search results - page 487 / 517 » Automating Coherent Logic |
90
Voted
ICSOFT
2007
15 years 2 months ago
2007
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...
99
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
86
Voted
FLAIRS
2004
15 years 2 months ago
2004
The Federal Highway Administration (FHWA) Office of Highway Planning requires states to furnish vehicle classification data as part of the Highway Performance Monitoring Systems (...
95
Voted
IJIT
2004
15 years 2 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
115
click to vote
AAAI
2000
15 years 2 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...