1763 search results - page 83 / 353 » A Formalization of Polytime Functions |
152
click to vote
DEXAW
2008
IEEE
16 years 22 days ago
2008
IEEE
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
152
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
163
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
143
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
163
click to vote
SAC
2006
ACM
16 years 7 days ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...