1501 search results - page 132 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
138
click to vote
IWINAC
2009
Springer
15 years 11 months ago
2009
Springer
Manifold initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms. This paper reviews key fea...
108
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
149
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Many structural properties such as solvent accessibility, dihedral angles and helix-helix contacts can be assigned to each residue in a membrane protein. Independent s...
146
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
The recognition of emotional information is a key step toward giving computers the ability to interact more naturally and intelligently with people. This paper presents a completel...
136
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...