2377 search results - page 308 / 476 » Hybrid Systems in TLA |
130
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
166
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
165
click to vote
PODC
1999
ACM
15 years 10 months ago
1999
ACM
d Abstract) James H. Anderson Department of Computer Science University of North Carolina at Chapel Hill Mark Moiry Department of Computer Science University of Pittsburgh We cons...
171
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
The START system responds to natural language queries with answers in text, pictures, and other media. START's sentence-level natural language parsing relies on a number of m...
180
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...