4266 search results - page 262 / 854 » A Framework for Defining Logics |
168
click to vote
JELIA
2004
Springer
16 years 2 days ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
208
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a novel approach for highway traffic event detection. Our algorithm extracts features directly from the compressed video and automatically detects traffic events using ...
187
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...
256
Voted
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
In large-scale distributed information systems, where participants are autonomous and have special interests for some queries, query allocation is a challenge. Much work in this c...
277
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
One of the most challenging problems in the healthcare domain is providing interoperability among healthcare information systems. In order to address this problem, we propose the ...