Sciweavers

5622 search results - page 653 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
AGI
2008
15 years 9 months ago
Temporal Action Logic for Question Answering in an Adventure Game
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
Martin Magnusson, Patrick Doherty
DAC
2002
ACM
16 years 8 months ago
A solenoidal basis method for efficient inductance extraction
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...
Hemant Mahawar, Vivek Sarin, Weiping Shi
SSS
2007
Springer
130views Control Systems» more  SSS 2007»
16 years 1 months ago
Secure Failure Detection in TrustedPals
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
Roberto Cortiñas, Felix C. Freiling, Marjan...
HAPTICS
2003
IEEE
16 years 22 days ago
Real-Time Rigid Body Simulation Based on Volumetric Penalty Method
This paper proposes a new method for real-time rigid body simulations based on a volumetric penalty method. The penalty method, which employs spring-damper model, is a simple and ...
Shoichi Hasegawa, Nobuaki Fujii, Yasuharu Koike, M...
BMCBI
2005
99views more  BMCBI 2005»
15 years 7 months ago
Effective ambiguity checking in biosequence analysis
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
Janina Reeder, Peter Steffen, Robert Giegerich