Sciweavers

12597 search results - page 2116 / 2520
» Complexity of Mechanism Design
Sort
View
HT
2010
ACM
15 years 12 months ago
Of kings, traffic signs and flowers: exploring navigation of tagged documents
Many popular Web 2.0 sites support navigation of tagged web resources. The tag-based navigation has been described as a lightweight reorientation of view on tags and the associate...
Jacek Gwizdka
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 12 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
CA
1999
IEEE
15 years 12 months ago
Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans
This paper presents a simple and efficient method of modeling synthetic vision, memory, and learning for autonomous animated characters in real-time virtual environments. The mode...
James J. Kuffner Jr., Jean-Claude Latombe
CSMR
1999
IEEE
15 years 12 months ago
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
René L. Krikhaar, Maarten Pennings, J. Zonn...
DAC
1999
ACM
15 years 12 months ago
Exact Memory Size Estimation for Array Computations without Loop Unrolling
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...
Ying Zhao, Sharad Malik
« Prev « First page 2116 / 2520 Last » Next »