Sciweavers

2014 search results - page 302 / 403
» Intelligent Transportation System (ITS)
Sort
View
IEAAIE
2005
Springer
15 years 11 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
ITS
2010
Springer
167views Multimedia» more  ITS 2010»
15 years 10 months ago
Characterizing the Effectiveness of Tutorial Dialogue with Hidden Markov Models
Identifying effective tutorial dialogue strategies is a key issue for intelligent tutoring systems research. Human-human tutoring offers a valuable model for identifying effective ...
Kristy Elizabeth Boyer, Robert Phillips, Amy Ingra...
187
Voted
DSN
2005
IEEE
15 years 11 months ago
TIBFIT: Trust Index Based Fault Tolerance for Arbitrary Data Faults in Sensor Networks
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
Mark D. Krasniewski, Padma Varadharajan, Bryan Rab...
AIED
2009
Springer
16 years 5 days ago
Detecting the Learning Value of Items In a Randomized Problem Set
Researchers that make tutoring systems would like to know which pieces of educational content are most effective at promoting learning among their students. Randomized controlled e...
Zachary A. Pardos, Neil T. Heffernan
ATAL
2006
Springer
15 years 9 months ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...