9503 search results - page 367 / 1901 » Authenticated System Calls |
164
click to vote
SETA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper a spectral characterization of the synchronization property of Boolean dynamical systems is provided. Conditions on the spectrum of the next-state function ...
199
click to vote
FORTE
2009
15 years 5 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
209
click to vote
FUIN
2010
15 years 5 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
242
click to vote
SIAMMAX
2010
15 years 2 months ago
2010
The numerical solution of linear systems with certain tensor product structures is considered. Such structures arise, for example, from the finite element discretization of a line...
228
click to vote
FLAIRS
2011
14 years 11 months ago
2011
iSTART is an intelligent tutoring system (ITS) designed to improve students’ reading comprehension. Previous studies have indicated that iSTART is successful; however, these stu...