Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Tim Smith

dblp:39/6819 · DBLP profile ↗
← Back
15ranked-venue papers
7as first author
2since 2021 · last 2021
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 10 · 7 first-authorArtificial intelligence and machine learning · 3 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 1 since 2021Human-computer interaction and ubiquitous computing · 2 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automata and formal languages · 100%
Human-computer interaction and pervasive computing
1 paper
Ubiquitous computing and smart environments · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automata and formal languages › formal grammars
indexed languages
0.312017
A new pumping lemma for indexed languages, with an application to infinite words · Inf. Comput. 2017
Automata and formal languages
infinite words
0.312017
A new pumping lemma for indexed languages, with an application to infinite words · Inf. Comput. 2017
Automata and formal languages › regular languages
pumping lemma
0.312017
A new pumping lemma for indexed languages, with an application to infinite words · Inf. Comput. 2017
Ubiquitous computing and smart environments › mobile computing
battery interface design
0.112010
The design and evaluation of a task-centered battery interface · UbiComp 2010
Ubiquitous computing and smart environments › mobile computing
mobile phone use
0.012010
The design and evaluation of a task-centered battery interface · UbiComp 2010

Methods — techniques the papers use, named apart from their topics

survey · 0.1prototype · 0.1pilot study · 0.1
YearPublicationVenuePosition
2021 Political Polarization in Online News Consumption
Venkata Rama Kiran Garimella, Tim Smith, Rebecca Weiss, Robert West 0001
ICWSM2
2021 Communication and Interaction With Semiautonomous Ground Vehicles by Force Control Steering
abstract
While full automation of road vehicles remains a future goal, shared-control and semiautonomous driving-involving transitions of control between the human and the machine-are more feasible objectives in the near term. These alternative driving modes will benefit from new research toward novel steering control devices, more suitably where machine intelligence only partially controls the vehicle. In this article, it is proposed that when the human shares the control of a vehicle with an autonomous or semiautonomous system, a force control, or nondisplacement steering wheel (i.e., a steering wheel which does not rotate but detects the applied torque by the human driver) can be advantageous under certain schemes: tight rein or loose rein modes according to the H -metaphor. We support this proposition with the first experiments to the best of our knowledge, in which human participants drove in a simulated road scene with a force control steering wheel (FCSW). The experiments exhibited that humans can adapt promptly to force control steering and are able to control the vehicle smoothly. Different transfer functions are tested, which translate the applied torque at the FCSW to the steering angle at the wheels of the vehicle; it is shown that fractional order transfer functions increment steering stability and control accuracy when using a force control device. The transition of control experiments is also performed with both: a conventional and an FCSW. This prototypical steering system can be realized via steer-by-wire controls, which are already incorporated in commercially available vehicles.
Miguel Martinez-Garcia, Roy Kalawsky, Timothy J. Gordon, Tim Smith, Qinggang Meng, Frank Flemisch
IEEE Trans. Cybern.4
2020 Additive Number Theory via Automata Theory
Aayush Rajasekaran, Jeffrey Shallit, Tim Smith
Theory Comput. Syst.3
2018 Sums of Palindromes: an Approach via Automata
abstract
Recently, Cilleruelo, Luca, & Baxter proved, for all bases b >= 5, that every natural number is the sum of at most 3 natural numbers whose base-b representation is a palindrome. However, the cases b = 2, 3, 4 were left unresolved. We prove, using a decision procedure based on automata, that every natural number is the sum of at most 4 natural numbers whose base-2 representation is a palindrome. Here the constant 4 is optimal. We obtain similar results for bases 3 and 4, thus completely resolving the problem.
Aayush Rajasekaran, Jeffrey Shallit, Tim Smith
STACS3
2018 Prediction of Infinite Words with Automata
Tim Smith
Theory Comput. Syst.1
2017 Static and dynamic visual narratives, by brain and by eye
Neil Cohn, Tom Foulsham, Tim Smith, Jeffrey M. Zacks
CogSci3
2017 Undecidability and Finite Automata
Jörg Endrullis, Jeffrey Shallit, Tim Smith
DLT3
2017 A new pumping lemma for indexed languages, with an application to infinite words
Tim Smith
Inf. Comput.1
2015 On infinite words determined by L systems
Tim Smith
Theor. Comput. Sci.1
2014 On Infinite Words Determined by Indexed Languages
Tim Smith
MFCS (1)1
2014 A Pumping Lemma for Two-Way Finite Transducers
Tim Smith
MFCS (1)1
2013 On Infinite Words Determined by Stack Automata
abstract
We characterize the infinite words determined by one-way stack automata. An infinite language L determines an infinite word alpha if every string in L is a prefix of alpha. If L is regular or context-free, it is known that alpha must be ultimately periodic. We extend this result to the class of languages recognized by one-way nondeterministic checking stack automata (1-NCSA). We then consider stronger classes of stack automata and show that they determine a class of infinite words which we call multilinear. We show that every multilinear word can be written in a form which is amenable to parsing. Finally, we consider the class of one-way multihead deterministic finite automata (1:multi-DFA). We show that every multilinear word can be determined by some 1:multi-DFA, but that there exist infinite words determined by 1:multi-DFA which are not multilinear.
Tim Smith
FSTTCS1
2013 Infiniteness and Boundedness in 0L, DT0L, and T0L Systems
Tim Smith
LATA1
2011 Don't Look Now: The relationship between mutual gaze, task performance and staring in Second Life
Sara Dalzel-Job, Jon Oberlander, Tim Smith
CogSci3
2010 The design and evaluation of a task-centered battery interface
abstract
Battery interfaces provide important feedback about how much time users can continue using their mobile devices. Based on this information, they may develop mental models of the types of activities, tasks, and applications they can use before needing to recharge. Many of today's battery interfaces tend to report energy in coarse granularities or are highly inaccurate. As a result, users may find it difficult to depend on the estimates given. We conducted a survey with 104 participants to understand how users interact with various mobile battery interfaces. Based on the survey results, we designed and prototyped a task-centered battery interface on a mobile device that shows more accurate information about how long individual and combinations of tasks with several applications can be performed. Our pilot study of eight users demonstrated that fine-grained information separated by tasks can help users be more effective with and increase their understanding of their device's battery usage.
Khai N. Truong, Julie A. Kientz, Timothy Sohn, Alyssa Rosenzweig, Amanda Fonville, Tim Smith
UbiComp6