12841 search results - page 379 / 2569 » PL-detective: experiences and results |
213
click to vote
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
184
click to vote
HAPTICS
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a new framework for information cue rendering on 2D vibrotactile arrays, and we describe an experiment that investigated the feasibility of our approach. The methods ar...
162
click to vote
CI
2010
15 years 4 months ago
2010
A growing research community is working towards employing drama management components in story-based games. These components gently guide the story towards a narrative arc that imp...
212
click to vote
IJBRA
2010
15 years 4 months ago
2010
This paper explores the scalability issues associated with solving the Named Entity Recognition (NER) problem using Support Vector Machines (SVM) and high-dimensional features and ...
200
click to vote
JCS
2011
15 years 1 months ago
2011
RFID systems often use near-field magnetic coupling to implement communication channels. The advertised operational range of these channels is less than 10 cm and therefore sever...