Sciweavers

1418 search results - page 92 / 284
» The Dynamic Complexity of Formal Languages
Sort
View
145
Voted
FDL
2006
IEEE
15 years 7 months ago
Verification-Oriented Behavioral Modeling of Non-Linear Analog
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
Martin Freibothe, Jens Doege, Torsten Coym, Stefan...
CN
1998
97views more  CN 1998»
15 years 3 months ago
An Architectural Description of Intelligent Network Features and Their Interactions
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...
Kenneth J. Turner
144
Voted
BIBE
2005
IEEE
121views Bioinformatics» more  BIBE 2005»
15 years 9 months ago
RNA Pseudoknot Prediction Using Term Rewriting
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
Xuezheng Fu, Hao Wang, William L. Harrison, Robert...
COGSCI
2004
105views more  COGSCI 2004»
15 years 4 months ago
Intention, interpretation and the computational structure of language
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...
Matthew Stone
149
Voted
IRI
2005
IEEE
15 years 9 months ago
Modeling methodology for application development in petroleum industry
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
Cong Zhang, Viktor K. Prasanna, Abdollah Orangi, W...