3614 search results - page 570 / 723 » Numerical Computing with MATLAB |
107
click to vote
AIPS
2007
15 years 3 months ago
2007
Planning in domains with temporal and numerical properties is an important research problem. One application of this is the resource production problem in real-time strategy (RTS)...
103
click to vote
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
128
click to vote
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
133
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
113
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
From a conceptual point of view, belief revision and learning are quite similar. Both methods change the belief state of an intelligent agent by processing incoming information. Ho...