2858 search results - page 517 / 572 » Logics with Aggregate Operators |
156
click to vote
VVEIS
2007
15 years 7 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
174
click to vote
AAAI
2008
15 years 7 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
184
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
161
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Due to the ease with which convincing digital image forgeries can be created, a need has arisen for digital forensic techniques capable of detecting image manipulation. Once image...
191
click to vote
DASFAA
2007
IEEE
15 years 6 months ago
2007
IEEE
Radio frequency identification (RFID) technology is believed to be the next revolutionary step in supply-chain management. Complex process simplification using RFID technology can ...