2585 search results - page 427 / 517 » Automating Coherent Logic |
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
142
click to vote
TIME
2009
IEEE
15 years 8 months ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
127
Voted
TIME
2009
IEEE
15 years 8 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...
111
click to vote
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...