3011 search results - page 366 / 603 » Generating XML Based Specifications of Information Systems |
148
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
147
click to vote
AIPS
1998
15 years 6 months ago
1998
We describe a framework for planning in dynamic environments. A central question is how to focus the sensing performed by such a system, so that it responds appropriately to relev...
143
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
157
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
152
click to vote
NPAR
2010
ACM
15 years 10 months ago
2010
ACM
Recent works in image editing are opening up new possibilities to manipulate and enhance input images. Within this context, we leverage well-known characteristics of human percept...